Internet of Events Leaderboard Traders Markets Hot Bets Surveillance Pricing

Log in Get Access

Accrue
/Home
/Manifold Markets
/Will the first AI to get IMO gold tree-search the formal proof space?

ManifoldResolved: NOBINARY · cpmm-1

Will the first AI to get IMO gold tree-search the formal proof space?

Yes14%

Yes Pool

$2K

No Pool

$336

Resolution

NO

Probability

14%

Volume$6K

24h Volume$0

Liquidity$1K

Traders30

CreatorBolton Bailey

ClosesJul 21, 2025

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