[ORGANIZATION]
Clay Mathematics Institute
Featured in 4 tracked stories · first seen
Situations
OpenAI Navier-Stokes mathematical breakthrough
3 clusters · 163 sources · last updated
Latest: OpenAI achieves mathematical breakthrough using 10,000 AI agents
OpenAI announced a breakthrough in addressing the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The company reported that approximately 10,000 autonomous AI agents worked for
Anthropic Claude AI mathematical breakthroughs
4 clusters · 25 sources · last updated
Latest: Anthropic's Claude formalizes Fermat's Last Theorem proof in 11 days
Anthropic’s Claude AI models have demonstrated significant capabilities in solving and formalizing complex mathematical problems. In early August 2026, the Claude Fable 5 model generated a counter-example that disproved
Also covered in
-
José Damián Espinosa proposes new approach to Riemann Hypothesis
[TECHNOLOGY] · 2 sources ·