Internet of Events Leaderboard Traders Markets Hot Bets Surveillance Pricing

Log in Get Access

Accrue
/Home
/Manifold Markets
/Will AI be better every human at proving Math theorems by the end of 2030?

ManifoldActiveBINARY · cpmm-1

Will AI be better every human at proving Math theorems by the end of 2030?

Yes51%

Yes Pool

$97

No Pool

$103

Probability

51%

Volume$387

24h Volume$0

Liquidity$100

Traders15

CreatorGrothendieck Fla

ClosesDec 31, 2030

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