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?

$6,164 volume
manifold
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
75.2%$0.75
Loading chart...
Selected BetWill we have a formalized proof of Fermat's last theorem by 2029-05-01?
M
Trading via Manifold
Yes$6.2K Vol
75.2%
No$6.2K Vol
24.8%
Trade
No whale trades found for this event.