OpenAI's AI disproves a foundational computer science conjecture and proves the Kakeya conjecture in all dimensions

Working with academic communities to build scientific understanding

OpenAI announces AI-generated proofs in mathematics, computer science, and physics, including a disproof of the Exponential Time Hypothesis and a proof of the local smoothing conjecture in every dimension. To turn these raw outputs into scientific understanding, OpenAI is experimenting with external expert shepherds who will verify, explain, and contextualize the results under principles of transparency, no academic credit, recognition, and independence. The company also commits $5 million to the Simons Foundation to support independent review.