The Advisory Group on Mathematics and Artificial Intelligence (AGMAI) is an independent group of nine research mathematicians, hosted at the Institute for Advanced Study (IAS) in Princeton, New Jersey, that…
AI EthicsOpenAI
The Kakeya conjecture (also called the Kakeya set conjecture or Besicovitch set conjecture) is a problem in geometric measure theory and harmonic analysis.
AI for ScienceOpenAI
The local smoothing conjecture is a conjecture in harmonic analysis about solutions of the wave equation.
AI for ScienceOpenAI
The OpenAI Mathematics Collection is a public collection of mathematical manuscripts and proof artifacts produced by an internal OpenAI model. OpenAI announced the release on October 6, 2026.
AI ResearchOpenAI
OpenAI Navier-Stokes Proposed Solution is a proposed resolution of the Navier-Stokes existence and smoothness Millennium Prize Problem announced by OpenAI on September 8, 2026.
AI Incidents & ControversiesAI Research
Yang-Mills existence and mass gap is one of the seven Millennium Prize Problems announced by the Clay Mathematics Institute (CMI) on 24 May 2000, each carrying a $1 million prize.
AI for ScienceOpenAI