Home/ForecastingWill we have a formalized proof of Fermat's last theorem by 2029-05-01?Bolton Bailey·Manifold Markets·Forecasting·May 2, 202299% — undefined traders, $16581 volumeRead full article →Related ArticlesWe know who lives inside wild fish. We don’t know what happens in there by Pablo SarPablo Sar · Nuno Sempere · 1d agoWill Grok 4.7 be released on 9/11?Eli Goldfine · Manifold Markets · 3d agoWill I solve an unsolved math problem with AI in September?Bayesian · Manifold Markets · 3d agoClaude Fable 5.1+ (Anthropic) release dateBayesian · Manifold Markets · 4d agoOpenai Astra publically available before September 7th 2026winged_one · Manifold Markets · 5d ago