
AnalysisLead story
OpenAI's Navier-Stokes proof exposes math's new resource gap
OpenAI ran 10,000 agents at a cost of millions to crack a Millennium Prize Problem — days after two researchers posted a partial proof.
Jaeden SchaferEditor in Chief5 min read