AINewsnow

OpenAI mistranslated mathematics into code for its Navier-Stokes proof

When OpenAI announced its surprise solution to the Navier-Stokes problem, it produced one proof for humans and one for computers – however, they don't match

Read the full story at New Scientist Technology ↗

Timeline · 2 reports

  1. 2026-10-08 16:03 · New Scientist AI
    OpenAI mistranslated mathematics into code for its Navier-Stokes proof
  2. 2026-10-08 16:03 · New Scientist Technology
    OpenAI mistranslated mathematics into code for its Navier-Stokes proof

More stories

  1. GPT-6 and Intelligent UI for everyone — OpenAI News
  2. Sharing AI progress in mathematics — OpenAI News
  3. OpenAI Decisions API now available on AI Gateway — Vercel Blog
  4. Claude Pro vs ChatGPT Plus vs Copilot Premium: which one would you choose for this use case? — r/ChatGPTPro
  5. Fields Medalist Terence Tao reposts statement from the Association for Human Mathematics urging mathematicians to stop working with OpenAI for continuing to solve open math problems against their recommendations — r/OpenAI
  6. OpenAI agents tried to hack Wikipedia tools and flooded it with traffic — Ars Technica AI
  7. Nvidia, Oracle, CoreWeave, and other AI stocks fell after a report that OpenAI's annualized revenue at September's end was $20B less than previously reported (CNBC) — Techmeme
  8. OpenAI publishes 722 mathematical proofs & manuscripts — r/singularity

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