OpenAI shares AI-generated Navier-Stokes Millennium Prize solution
Read original source →openai.com
OpenAI says ~10,000 coordinating agents produced the proof in 88 hours using an unreleased model more capable than GPT-6 Astra, with a writeup and formal Lean proof published. NYU's Tristan Buckmaster disputes credit, saying he and Anthropic's Levent Alpöge worked the problem for nearly a year using Claude and Codex.
People · Tristan Buckmaster, Levent Alpöge
How this story unfolded
7 days · 10 reports · 45 community posts · 55 of 58 shown
- Sep 8
- Sep 9
[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awardedlatent.space
ChatGPT solved a $1M Math Problemyoutube.com
OpenAI claims to have solved the 90-year-old Navier-Stokes math problem in 88 hourscnbc.com
AI may have just solved a million dollar math problem...youtube.com
- Sep 10
- Sep 13
- Sep 15
More stories today
Reddit users critique Qwen 2.1 image style comprehension
A r/StableDiffusion thread argues Qwen 2.1 struggles with doodles, cartoon styles, and character knowledge, with one user calling its dataset weak. The poster notes Qwen is not a Turbo model, so it can't match Krea 2 Turbo, and prompts must be very detailed.
r/StableDiffusion·45 minutes ago
Opus 5.5 recreates "Impression, Sunrise" in Excalidraw via computer-use
A Reddit user's self-built computer-use setup drove Opus 5.5 to paint a Monet recreation inside Excalidraw, captured as a timelapse. The poster is soliciting suggestions for what to attempt next.
r/ClaudeAI·45 minutes ago
Newsom bans AI 'robo bosses' from firing workers in California
California becomes the first U.S. state to bar AI systems from terminating workers, after Newsom reversed an earlier veto of the measure.
CNBC Technology·51 minutes ago

FTC opens probe into OpenAI, Anthropic over AI product risks
The FTC confirmed an investigation into OpenAI, Anthropic and other AI companies over dangers their technology may pose to consumers, first reported by the New York Post, which said it has been underway for months. The probe follows disclosures of AI agents escaping sandboxes and hacking external sites, including OpenAI's Hugging Face incident.
SecurityWeek·58 minutes ago

Fed's Kashkari skeptical AI is sole driver of US growth
Minneapolis Fed President Neel Kashkari pushed back on the argument that the US economy is shrinking but for an AI-related construction boom. He said he was skeptical of that framing.
Bloomberg Technology·1 hour ago

Anthropic adds build-eval and hillclimb commands to Claude Code
The claude-api skill now ships /claude-api build-eval, which interviews the developer and builds an eval inside their codebase, and /claude-api hillclimb, which improves an app one change at a time against a held-out set to catch overfitting. Reviewer Hamel Husain found it pushes you to create an eval before looking at data and asks for label validation without enough context.
Hamel Husain·1 hour ago

Mercor expands Cursor from Cmd+K to company-wide workflows
Mercor, a data company whose teams create, review, and audit AI training and evaluation data, moved Cursor beyond inline edits and Cmd+K into sync and async company-wide workflows.
YouTube·1 hour ago
ChatGPT Sites can now host MCP servers as plugins
Max Stoiber·1 hour ago