OpenAI reports breakthrough on second Millennium Prize math challenge

OpenAI announced that its multi agent systems have achieved significant progress on a second Millennium Prize mathematics problem following work on Navier Stokes equations. The underlying run coordinated thousands of agents to test proof paths in parallel using Lean verification. Industry rumors suggest the latest research targets the Hodge Conjecture.