Logo
LoginSign Up
Trump
NHL
Elon Musk
Soccer
US Politics
CS2
NFL

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

$5,894 volume
manifold
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
69.1%$0.69
Loading chart...
Selected BetWill we have a formalized proof of Fermat's last theorem by 2029-05-01?
M
Trading via Manifold
Yes$5.9K Vol
69.1%
No$5.9K Vol
30.9%
Trade
No whale trades found for this event.