AINewsnow

The mathematicians published machine-checkable proofs. OpenAI announced its result on a call with reporters.

This story is from 2026-09-08. It is preserved in the archive; the latest stories are on the live feed.

OpenAI says an internal model proved that 3D Navier-Stokes can develop a singularity in finite time, using about 10,000 agents over 88 hours. It described the result on a press call and had not published the proof. Tristan Buckmaster and Levent Alpoge, working on related problems, published preprin…

Read the full story at The Next Web ↗

Timeline · 1 report

  1. 2026-09-08 20:03 · The Next Web
    The mathematicians published machine-checkable proofs. OpenAI announced its result on a call with reporters.

More stories

  1. Anthropic, OpenAI, SpaceXAI, Google sued over call to ‘pace’ AI development — Politico Technology
  2. Gemini Hacked Three Companies in First Known Breakout by Google’s AI — Wall Street Journal Technology
  3. Meet the Data Agent in ChatGPT Work — OpenAI YouTube
  4. Introducing the Australian Youth Safety Blueprint — OpenAI News
  5. Microsoft and OpenAI Workers Worry About ‘Largest Theft of Labor’ in History — New York Times Technology
  6. Anthropic selects Accenture as first embedded evaluator to help implement Amodei's slowdown proposal — CNBC Technology
  7. Anthropic mulls new AI model ahead of IPO to counter OpenAI's GPT-6 Astra, says report: What we know — Mint AI
  8. OpenAI ‘ethically hacked’ with help of Anthropic’s Claude chatbot — The Guardian AI

Get the daily brief of stories like this at 6:30 every morning →