Internet of Events Leaderboard Traders Markets Hot Bets Surveillance Pricing

Log in Get Access

Accrue
/Home
/Manifold Markets
/When will we have a fully formalized proof of Fermat's Last Theorem?

ManifoldActiveMULTIPLE_CHOICE · cpmm-multi-1

When will we have a fully formalized proof of Fermat's Last Theorem?

Probability

—

Volume$357

24h Volume$0

Liquidity$285

Traders12

CreatorThomas Strohmann

ClosesJan 1, 2044

View on Manifold →Compare Across Platforms →

Accrue© 2026

Internet of Events Leaderboard Traders Markets Hot Bets Surveillance

The Intelligence Terminal for Prediction Markets

Terms Privacy Risk Disclosure Cookies Disclaimer Acceptable Use