Proof News
Top stories
Prediction markets for Proof
Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?
Sep 14, 8:35 PMJan 1, 7:59 AM
1.15%chance
175184146
OptionVotes
106543
1708
Will proof of life of extraterrestrial origin be found by 2100?
Jun 26, 9:08 AMDec 31, 3:59 PM
70.65%chance
10883701
OptionVotes
2145
618
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)
Sep 16, 8:47 PMJan 1, 8:00 AM
70.09%chance
9914436
OptionVotes
1530
877
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
May 2, 1:38 AMMay 2, 4:59 AM
71.5%chance
445719
OptionVotes
1354
788
Would an AI be capable of constructing a non-brute, ultraweak proof of chess for this board state by 2030?
Jun 26, 8:30 AMJan 2, 5:59 AM
48.71%chance
121255
OptionVotes
10481
9520
Frontier science theorem discovery fully formalized in proof assistant before 2028?
May 23, 6:26 AMDec 31, 9:44 AM
22.82%chance
111221
OptionVotes
1842
547
If P=NP is proven, will the first proof be constructive?
Aug 23, 3:07 AMDec 31, 12:00 PM
29.21%chance
281101
OptionVotes
1544
639
OptionVotes
133
100
Will we have a proof of the Riemann Hypothesis by 2060?
Nov 26, 10:37 PMDec 31, 11:59 PM
57.94%chance
23820
OptionVotes
1188
809
OptionVotes
1157
933
Will I find proof of a mushroom at least a meter tall?
Oct 21, 2:12 AMJan 2, 7:59 AM
18.41%chance
14616
OptionVotes
1322
902
Will a major social media platform implement privacy-preserving proof of personhood by 2030?
Aug 16, 11:56 AMDec 31, 10:59 PM
53.64%chance
8491
OptionVotes
1076
930
Latest stories
Latest stories