Will a Large Language Model prove an important math theorem by end of 2024?
Plus
16
Ṁ2057resolved Jan 2
Resolved
NO1D
1W
1M
ALL
We consider it "important" if there has already been much work by mathematicians to prove it. If an LLM only had minor contributions we don't consider it to be the LLM that proved it.
Get Ṁ1,000 play money
🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ40 | |
| 2 | Ṁ37 | |
| 3 | Ṁ18 | |
| 4 | Ṁ8 | |
| 5 | Ṁ7 |
Related questions
Related questions
Will a large language model beat a super grandmaster playing chess by 2028?
55% chance
Will a large language model beat a super grandmaster playing chess by EOY 2028?
55% chance
Will any language model trained without large number arithmetic be able to generalize to large number arithmetic by 2026?
46% chance
Will a Large Language Model be listed as an author on a peer-reviewed paper by the end of 2025?
34% chance
Will any 10 trillion+ parameter language model that follows instructions be released to the public before 2026?
40% chance
Will a Large Language Model save a human life through medical advice by the end of 2025?
92% chance
Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?
2% chance
By 2030, will large language models still be at the peak of AI? [DRAFT]
25% chance
Will a standardized category theory language for ML models emerge by end of 2025?
3% chance
Will reinforcement learning overtake LMs on math before 2028?
70% chance