Logo
LoginSign Up
FIFA World Cup
Soccer
Crypto
CS2
Trump
Elon Musk
US Politics
NHL
NFL

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

$6,620 volume
manifold
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
79.5%$0.80
Loading chart...
Selected BetWill we have a formalized proof of Fermat's last theorem by 2029-05-01?
M
Trading via Manifold
Market Volume$6.6K
Yes
79.5%
No
20.5%
Trade
No whale trades found for this event.