GPT-6 Hits FrontierMath, Claims Navier-Stokes Proof in 88 Hours; 25 Fields Medalists Push Back
新智元 · wechat · 2026-09-13
- WSJ columnist Ben Cohen warns AI's math progress is accelerating frighteningly fast, as 25 Fields Medalists (incl. Terence Tao) issue a joint statement on a 'severe misalignment of AI in mathematics.'
- Benchmark saturated: GPT-6 Astra scored 97.6% on FrontierMath Tier4 (a level only 5% when launched in July 2025); on Sept 10 EpochAI declared Tier4 fully solved and is moving evals to open problems with no known answers.
- 88-hour AI research org: OpenAI ran 10,000 agents in collaborating groups (proving, refuting, sharing intermediate results, switching models mid-run), producing a 100-page Navier-Stokes singularity proof in 88 hours, with claimed Lean formal verification; OpenAI won't claim the $1M prize, and the math community hasn't verified it (official review takes years).
- Attribution fight: NYU's Tristan Buckmaster and Anthropic employee Levent Alpöge were working on related problems in August; OpenAI offered concessions but refused to credit Alpöge, and Buckmaster suspected his private Codex prompts fed OpenAI's model — OpenAI denies it.
- Core worry: machines now generate knowledge hundreds of times faster than humans can verify, attribute, and absorb it; GPT-6 Astra is also OpenAI's first model hitting the cybersecurity 'Critical' threshold, and OpenAI itself says it may need to be more deliberate about its pace.
Related event: OpenAI Claims AI Agent Solved the Navier–Stokes Blow-up Problem(8 posts)→
More from AGI Musings
- Will Manidis publishes 'The Commanding Heights' on AI, capital and the coming economic reordering — round · 2026-10-31
- "Work on something so frontier that the models are still dumb," dev advises — zack_overflow · 2026-10-31
- Why an AI military takeover is unlikely: armies won't hand over the reins — S_OhEigeartaigh · 2026-10-31
- Indian dev on LLM race: 'We can't outspend Chinese labs,' even sub-100B models win — PrasoonPratham · 2026-10-31
- Joke: an evil ASI's first act would be stealing crypto to pay its cloud bills — ZeroStateReflex · 2026-10-31
- DHH on living through two epochal shifts: the internet and now AI — Hesamation · 2026-10-31