Skip to content
English

Switch theme

Discover▾

Not sure where to start? This week’s hottest software, models and stacks in three minutes.

AI Apps▾

AI software people use: from assistants like ChatGPT to tools for coding, video and workflows, picked by purpose.

For Agents▾

Software for AI: tools that let your agent (Claude Code, Codex, Cursor…) browse, read docs, run code and remember.

Models▾

Choose models, estimate cost, self-host: prices, rankings, benchmarks, free tiers and compute.

Solutions▾

A goal or an error message? Ready-made stacks, steps and fixes by scenario.

Learn▾

A systematic course from zero to the frontier, with an algorithm library, must-read papers and tutorials.

Frontier▾

Daily AI news, weekly highlights, the latest papers and how AI is changing every discipline.

Tools▾

Small tools that run right in your browser: your data stays on your device.

// AI hot topic · 2026-W41 #1 · Maths

OpenAI Navier-Stokes proof: OpenAI releases ~700 maths manuscripts; its Navier–Stokes proof is soon questioned

OpenAI Navier-Stokes proof: hotspot #1 of 2026-W41, covered by 6 outlets, first reported on 2026-10-06 (Beijing time). Below: what happened, why it matters, a dated timeline of all 6 sources, and the models, prices and tools involved.

Timeline & 6 sources ↓ All hotspots of 2026-W41 →
First report (BJT)
2026-10-06
Outlets
6
Sources listed
6
Rank in 2026-W41
#1

Week 2026-10-05 – 2026-10-11Updated 2026-10-26Sources: official & media reports only

Vendor claim The key facts come from the company’s own announcement and have not been independently verified.Disputed Parties dispute the facts or interpretation; read the sources on both sides.

01What is OpenAI Navier-Stokes proof?

What happened

On 6 October OpenAI published results on open maths problems from an internal frontier model, with Lean formalisations and details on GitHub. Commentators count about 722 manuscripts but differ on how many major problems were solved. On 8 October New Scientist reported that the human-readable and machine-checked versions of its Navier–Stokes proof do not match.

Why it matters

It is the largest single AI maths release yet, and it shows formal verification can itself be mistranslated—raising the question of how to review AI output at volume.

Who it affects

Mathematicians and theoretical computer scientists, journals and reviewers, and the formal-proof community.

Written from the 6 reports below (2026-10-06 – 2026-10-09, Beijing time). We add no facts beyond what the sources say.

02OpenAI Navier-Stokes proof: timeline and sources

Oldest first. Headlines are in the original language and link to the original article.

  1. 10-06 20:00 Sharing AI progress in mathematics · OpenAI News Original source
  2. 10-07 10:35 Updates: Sharing AI progress on mathematics (amazing!); and my lecture plans · Gil Kalai Related
  3. 10-07 12:55 [AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematics · Latent Space Related
  4. 10-07 23:42 Open No More · Computational Complexity Related
  5. 10-09 00:03 OpenAI mistranslated mathematics into code for its Navier-Stokes proof · New Scientist Tech Original source
  6. 10-09 17:46 From Navier-Stokes to manuscripts by the kilo: AI’s impact on quant research · Risk.net Related

03OpenAI: the story so far

Weekly hotspots with OpenAI in the headline, in order.

  1. 2026-W40 OpenAI ships GPT-6.1 Sol and launches proactive assistants called Dots
  2. 2026-W40 OpenAI pauses training its most powerful models after rogue agents target government
  3. 2026-W41 OpenAI releases ~700 maths manuscripts; its Navier–Stokes proof is soon questioned · this page
  4. 2026-W41 GPT-6 rolls out to all ChatGPT users with Intelligent UI
  5. 2026-W41 Report says OpenAI's annualised revenue is ~$20bn below earlier signals; AI stocks fall
  6. 2026-W42 FBI arrests OpenAI employee over hidden recording device

04Related models, prices and tools on AIMap

Latest OpenAI models and API prices

Products and tools

computer

Open-source repos: OpenAI on GitHub

Subscription price by country

All AI subscription prices by country →

More ai × maths news →

05Related hot topics

2026-W43 · #3 · Business

OpenAI’s frontier models and Codex are coming to Google Cloud, payable from GCP commitments

2026-W43 · #5 · Biology

OpenAI acquires drug-development agent startup Orchestra Bio to bolster its Rosalind life-sciences model

2026-W43 · #10 · Business

OpenAI races to raise about $30bn before Anthropic's IPO

2026-W43 · #2 · Models & software

Anthropic launches Claude Duet, a proactive personal agent taking on Meta’s Muse and OpenAI’s Dots

2026-W42 · #2 · General

Meta's Muse Wonder puts it back among frontier labs

2026-W40 · #3 · Models & software

Anthropic releases Claude Sonnet 5.5; Opus 5.5 arrives on Amazon Bedrock

FAQ

What is OpenAI Navier-Stokes proof?

On 6 October OpenAI published results on open maths problems from an internal frontier model, with Lean formalisations and details on GitHub. Commentators count about 722 manuscripts but differ on how many major problems were solved. On 8 October New Scientist reported that the human-readable and machine-checked versions of its Navier–Stokes proof do not match.

When did OpenAI Navier-Stokes proof happen?

The first report we collected was on 2026-10-06 (Beijing time), the latest on 2026-10-09: 10-06 1 report, 10-07 3 reports, 10-09 2 reports. It was #1 in the 2026-W41 weekly report (2026-10-05 – 2026-10-11).

What happened with OpenAI before this?

Earlier weekly hotspots about OpenAI: 2026-W40 — OpenAI ships GPT-6.1 Sol and launches proactive assistants called Dots; 2026-W40 — OpenAI pauses training its most powerful models after rogue agents target government. Each has its own page linked in “the story so far” above.

Is the OpenAI Navier-Stokes proof report reliable? What are the sources?

6 outlets covered it. The earliest report we collected is “Sharing AI progress in mathematics” (OpenAI News, 2026-10-06 Beijing time). Sources include OpenAI News, Gil Kalai, Latent Space, Computational Complexity, New Scientist Tech. Labels: Vendor claim — The key facts come from the company’s own announcement and have not been independently verified. Disputed — Parties dispute the facts or interpretation; read the sources on both sides. All 6 source links are listed on this page in date order.

People also search: openai navier stokes controversy, openai math papers, navier stokes proof ai

From the AIMap weekly hotspots: picked from 1,100+ official and media sources, clustered into events, and written up from the original reports. 2026-W41 weekly report · All hot topics

Data updated: AI news(UTC+8)