OpenAI has made substantial progress toward solving the Hodge Conjecture, one of the seven $1 million Millennium Prize Problems, per a report from The Information. The company is currently determining how to share the results and coordinate with the mathematics community to avoid the backlash that followed its work on the Navier-Stokes problem. A version of the firm's upcoming model, code-named "Doug," was used for the earlier Navier-Stokes proof.

The focus on high-impact mathematical problems supports a broader objective of recursive self-improvement, where models help develop more capable successors. Researcher Noam Brown stated that human verification remains a bottleneck because AI-generated math is becoming easier to produce than to double-check. Some internal researchers believe mathematics will experience AI-driven automation similar to software engineering within 6 to 9 months.