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.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ40 | |
| 2 | Ṁ37 | |
| 3 | Ṁ18 | |
| 4 | Ṁ8 | |
| 5 | Ṁ7 |
Related questions
Related questions
By the end of 2026, will we have transparency into any useful internal pattern within a Large Language Model whose semantics would have been unfamiliar to AI and cognitive science in 2006?
27% chance
Will a large language model beat a super grandmaster playing chess by 2028?
66% chance
Will any language model trained without large number arithmetic be able to generalize to large number arithmetic by 2026?
51% chance
Will a Large Language Model be listed as an author on a peer-reviewed paper by the end of 2025?
30% chance
By 2025 will there be a competitive large language model with >50% of the total training data generated from a large language model?
75% chance
Will reinforcement learning overtake LMs on math before 2028?
70% chance
Will any 10 trillion+ parameter language model that follows instructions be released to the public before 2026?
48% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
80% chance
When will a Large Language Model beat me at chess?
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
42% chance