{
  "id": 6786672,
  "title": "AI cracked the proof. Now what's a human?",
  "url": "https://urgent.news/2026/09/11/ai-cracked-the-proof-now-whats-a-human",
  "topic": "ai",
  "section": "AI",
  "published": "2026-09-11T18:03:03.000Z",
  "source": {
    "name": "The Economic Times",
    "slug": "the-economic-times",
    "url": "https://economictimes.indiatimes.com/opinion/et-commentary/ai-cracked-the-proof-no-human-understands-now-whats-a-human-navier-stokes-solve-forces-the-question/articleshow/134082884.cms"
  },
  "original_language": "en",
  "account": "On September 5, a fluid broke in the Navier-Stokes equations, a mathematical model describing fluid dynamics. An OpenAI system, more powerful than its latest GPT-6 Astra model, cracked the proof after 10,000 software agents worked for 88 hours. Two mathematicians, Tristan Buckmaster and Levent Alpoge, spent a year on the problem, following an idea from Spanish mathematicians Diego Cordoba and Luis Martinez-Zoroa. However, an even more powerful machine found the proof first. A proof exists, but it is beyond human understanding. The machine's process is opaque, and the answer and understanding have been separated. The implications are profound: answers are becoming cheap, while questions are becoming expensive; we risk losing the ability to check proofs; disputes will shift from truth to names and contributions; and machines have made knowledge creation a new job of holding rather than making.",
  "summary": null,
  "key_points": [],
  "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."
}