Update:
OpenAI has published its Navier-Stokes results. The company says the proof was produced by about 10,000 coordinated AI agents in 88 hours, using an internal model that OpenAI describes as "significantly more capable than GPT-6 Astra." The proof was also formalized in Lean. Research lead Mark Chen said the compute alone cost "in the millions of dollars."
OpenAI developer Noam Brown points to a familiar pattern. When OpenAI launched o3, hitting 87.5 percent on the ARC-AGI benchmark cost about $500,000. Today, Astra can do more for roughly $20. The 2025 Math Olympiad required massive compute from both OpenAI and Google Deepmind. By 2026, anyone with a $20 ChatGPT subscription could match that. "I believe that a year from now everyone will have an AI at their fingertips capable of solving problems of this caliber," Brown writes.
OpenAI's internal model solves nearly three times as many open math problems as GPT-6 Astra, with the gap widening as compute scales up. | Image: OpenAI
OpenAI rejects Buckmaster's allegations
