Will we have a superhuman mathematician by the beginning of 2026 (as defined here: https://twitter.com/ChrSzegedy/status/1598341927828594688)?
29
40
Ṁ1.4KṀ610
2025
19%
chance
1D
1W
1M
ALL
Christian Szegedy and Francois Chollet have a bet about whether we'll have a superhuman mathematician by the beginning of 2026. This market will resolve to however they resolve their bet, or if not resolved, to the best of my ability to evaluate the criteria described in the tweet (https://twitter.com/ChrSzegedy/status/1598341927828594688) myself.
Close date updated to 2025-12-31 6:59 pm
Get Ṁ200 play money
Related questions
Will an AI solve any important mathematical conjecture before January 1st, 2030?
70% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
45% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2029?
70% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
42% chance
Will an AI get bronze or silver on any International Math Olympiad by end of 2025?
29% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2032?
75% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will any language model trained without large number arithmetic be able to generalize to large number arithmetic by 2026?
69% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
59% chance