Home/ForecastingWill AI solve one of 129 major mathematical conjectures before year X?Floris van Doorn·Manifold Markets·Forecasting·August 11, 2025Read full article →Related ArticlesWe know who lives inside wild fish. We don’t know what happens in there by Pablo SarPablo Sar · Nuno Sempere · 15h agoWill Grok 4.7 be released on 9/11?Eli Goldfine · Manifold Markets · 1d agoWill I solve an unsolved math problem with AI in September?Bayesian · Manifold Markets · 2d agoClaude Fable 5.1+ (Anthropic) release dateBayesian · Manifold Markets · 3d agoOpenai Astra publically available before September 7th 2026winged_one · Manifold Markets · 3d ago