←back to thread

DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data

(arxiv.org)
184 points hhs | 2 comments | 14 Oct 24 15:44 UTC | HN request time: 0.41s | source
Show context
Havoc ◴[14 Oct 24 18:50 UTC] No.41840605[source]▶
Surprised by the negativity here. A 7B class model +- doubles gpt4 score and everyone goes “meh”?!?
replies(3): >>41840709 #>>41840878 #>>41853200 #
Workaccount2 ◴[14 Oct 24 19:00 UTC] No.41840709[source]▶
The attitude that HN on the whole has towards AI is what you would expect from an existential threat to a very high paying career.
replies(1): >>41843101 #
1. danpalmer ◴[14 Oct 24 22:59 UTC] No.41843101[source]▶
I've seen broadly 2 attitudes: a refusal to accept AI as an existential threat to a high paying career, and a belief that AI is an existential threat to a high paying career.

As with most things in life, the truth is likely somewhere boring in the middle.

replies(1): >>41844915 #
2. llm_trw ◴[15 Oct 24 04:22 UTC] No.41844915[source]▶
Option 3 anyone who can add Ai to their career with be even more highly paid because of the productivity boost.