Home/ForecastingWill an AI solve any important mathematical conjecture before January 1st, 2030?Matthew Barnett·Manifold Markets·Forecasting·March 16, 202393% — undefined traders, $43040 volumeRead full article →Related ArticlesWill the next full gemini model be frontier at coding?Ian Shea · Manifold Markets · 1d agoWill there be more than 100 cases of ebola in the US in 2026?Joseph Caissie · Manifold Markets · 2d agoWill the next full gemini model be as good as opus 4.7 or gpt 5.5 at coding?Ian Shea · Manifold Markets · 2d agoWill Elon Musk become a trillionaire before July 2026?Jack · Manifold Markets · 2d agoWill a humanoid robot walk on the mars before a human does?Mochi · Manifold Markets · 3d ago