OpenAI Shifts Strategy After AI-Generated Proofs Challenge Academics

The company’s most provocative claim asserts that the Exponential Time Hypothesis—a cornerstone of computational complexity—is false. To verify this result, OpenAI deferred to a team including Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams, who requested an immediate public release of the materials. Meanwhile, in physics, a group led by David Gross, including Michael Douglas and Arthur Jaffe, is tasked with reviewing a rigorous existence proof for interacting quantum field theories, a major step toward completing the Standard Model.

Mathematical claims released on GitHub suggest the AI has resolved the local smoothing conjecture, alongside the Kakeya and Stein restriction conjectures. This announcement follows NYU professor Hong Wang’s recent Fields Medal, awarded for solving the Kakeya conjecture in only three dimensions. Such rapid-fire output has sparked internal friction; the AGMAI advisory panel recently warned companies against granting select experts early access, arguing the practice risks biased selection and unequal scholarly standing. In response, the collaborating experts have published an open letter soliciting community feedback on how to govern AI-generated breakthroughs, credit verification work, and protect researchers as traditional methodologies face obsolescence.