Will a Millenium problem be formally stated in a theorem prover by 2025
1
17
Ṁ10Ṁ70
2026
59%
chance
1D
1W
1M
ALL
Get Ṁ600 play money
More related questions
Related questions
Will at least 4 of the 7 Millennium Problems be solved by 2040?
35% chance
Will at least one of the remaining Millenium Problems be solved before 2030?
27% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
63% chance
Will at least 2 of the 7 Millennium Problems be solved by 2040?
54% 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)
36% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
27% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
33% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
60% chance
Will the next Millennium Problem be solved by an AI?
45% chance