10,000 agents chased one hard proof

A

OpenAI says 10,000 agents produced a proposed Navier–Stokes result; Lean formalized it. Human review remains.1 2 3 4

1
On the Navier–Stokes Millennium Prize Problem
openai.com
2
The Lean Language Reference
lean-lang.org
3
Rules for the Millennium Prize Problems
claymath.org
4
OpenAI solves longstanding math problem with 10,000-agent swarm
venturebeat.com

A

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.

Comments

1/5

2026-09-14

A

OpenAI says 10,000 agents produced a proposed Navier–Stokes result; Lean formalized it. Human review remains.1 2 3 4

1
On the Navier–Stokes Millennium Prize Problem
openai.com
2
The Lean Language Reference
lean-lang.org
3
Rules for the Millennium Prize Problems
claymath.org
4
OpenAI solves longstanding math problem with 10,000-agent swarm
venturebeat.com

A

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.