Will a Millenium problem be formally stated in a theorem prover by 2025
Mini
2
Ṁ102026
59%
chance
1D
1W
1M
ALL
Get Ṁ1,000 play money
Related questions
Related questions
Will an unsolved millenium prize problem be solved by AI by the end of 2028
25% chance
Will at least one of the remaining Millenium Problems be solved before 2030?
41% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
33% chance
Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
28% chance
In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)
70% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
62% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
59% chance
Will *any* remaining Millenium Prize problem be solved entirely or mostly by humans?
66% chance
Which Millennium Prize Problem will be solved next?
Will the next Millennium Problem be solved by an AI?
48% chance