Will a Millenium problem be formally stated in a theorem prover by 2025

Mini

1

Ṁ102026

59%

chance

1D

1W

1M

ALL

Get Ṁ1,000 play money

## Related questions

## Related questions

Will at least one of the remaining Millenium Problems be solved before 2030?

44% chance

Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?

36% 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)

61% chance

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

71% chance

Will we have a formalized proof of the Modularity theorem by 2029-05-01?

59% chance

Which millenium problem will be solved first?

Will an unsolved millenium prize problem be solved by AI by the end of 2028

27% chance

Will *any* remaining Millenium Prize problem be solved entirely or mostly by humans?

66% chance

Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?

48% chance