Agents and MCP
OpenAI turns Navier-Stokes into a stress test for agent-driven science
An internal system coordinated some 10,000 agents, produced an analytical proof, and formalised it in Lean. The result may solve a Millennium Problem, but it also exposes the new obligations of verification, cost, and governance for automated research.
By Rubén Campoy3 min read

