{
  "id": 6379157,
  "title": "OpenAI Claims 'Internal AI Model' Just Cracked A $1 Million Math Mystery That Was Unresolved For 90 Years: Mathematicians Raise Fears",
  "url": "https://urgent.news/2026/09/09/openai-claims-internal-ai-model-just-cracked-a-1-million-math-mystery",
  "topic": "ai",
  "section": "AI",
  "published": "2026-09-09T04:06:48.000Z",
  "source": {
    "name": "Free Press Journal",
    "slug": "free-press-journal",
    "url": "https://www.freepressjournal.in/tech/openai-claims-internal-ai-model-just-cracked-a-1-million-math-mystery-that-was-unresolved-for-90-years-mathematicians-raise-fears"
  },
  "original_language": "en",
  "account": "OpenAI announced that an advanced internal AI model, more powerful than GPT-6 Astra, had generated a proof solving the three-dimensional Navier-Stokes equations. This mathematical puzzle has puzzled researchers for 90 years and is categorized as one of the Millennium Prize Problems. The breakthrough transpired after OpenAI researchers heard rumors that two of the Millennium Prize problems were already solved, redirecting their focus to the remaining unsolved issues. The company's effort entailed significant computational resources, employing approximately 10,000 agents working concurrently, and costing millions of dollars. The proof was subsequently verified using the Lean programming language, ensuring its accuracy. OpenAI claims the proof was produced by their state-of-the-art model, which outperforms GPT-6 Astra.",
  "summary": "OpenAI said that an internal model 'significantly more capable than GPT-6 Astra' had produced a proof showing that the three-dimensional Navier-Stokes equations can develop a singularity in finite time, tackling one of mathematics' seven unsolved Millennium Prize Problems. This problem has allegedly remained unresolved for 90 years. How the breakthrough came together The company said its effort…",
  "key_points": [
    "OpenAI's advanced AI model solved 90-year-old math puzzle",
    "Proof of 3D Navier-Stokes equations verified by Lean programming",
    "Breakthrough costs millions, uses 10,000 agents concurrently"
  ],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 1,
    "also_reported_by": []
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}