ScienceAI agents reportedly produce a computer-checkable Navier-Stokes proof
SharedSapience reports that roughly 10,000 AI agents solved the problem. A separate post citing OpenAI says its result involved 17 hours of verification in Lean.
TLDR
SharedSapience reports that roughly 10,000 AI agents resolved the Navier-Stokes problem with a proof a computer can check. Separately, a user citing OpenAI says its result used about 10,000 agents, followed by 17 hours of Lean verification. The user argues that the important development is the workflow—parallel hypotheses, isolated agent groups and formal verification—rather than simply the idea that “AI solved math.”
Combined views
17
2 Sources, first seen 15d ago
AI agents reportedly produce a computer-checkable Navier-Stokes proof
SharedSapience reports that roughly 10,000 AI agents solved the problem. A separate post citing OpenAI says its result involved 17 hours of verification in Lean.