Will a Large Language Model prove an important math theorem by end of 2024?
16
Ṁ1kṀ2.1kresolved Jan 2
Resolved
NO1H
6H
1D
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.
Market context
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Trader | Total profit |
|---|---|---|
| 1 | Ṁ40 | |
| 2 | Ṁ37 | |
| 3 | Ṁ18 | |
| 4 | Ṁ8 | |
| 5 | Ṁ7 |
People are also trading
Related questions
Will a large language model beat a super grandmaster playing chess by EOY 2028?
46% chance
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?
10% chance
Will AI (large language models) collapse by may 2026?
10% chance
Will we reverse-engineer a language model into an interpretable (python) program by 2027?
4% chance
By 2030, will large language models still be at the peak of AI? [DRAFT]
25% chance
Will a large language model beat a super grandmaster playing chess by EOY 2028?
60% chance
Will a large language model beat a super grandmaster at chess by EOY 2035?
70% chance
Will reinforcement learning overtake LMs on math before 2028?
61% chance
What tactic will prove the most mathlib lemmas at the end of 2026?
When will a Large Language Model beat me at chess?