Ten Advances in Mathematics and Theoretical Computer Science
OpenAI, Saturday, August 1st, 2026
OpenAI reports new results on long-standing open problems spanning geometry, cryptography, and complexity.
OpenAI published ten results on long-standing open problems in mathematics and theoretical computer science, spanning geometry, cryptography, and computational complexity. The post describes each result and the role model assistance played in producing it.
Problems in these fields are attractive test cases because proposed proofs can be checked rigorously, unlike most claims of AI-assisted discovery.
OpenAI addresses which parts were model-generated and which required human mathematicians. The work is presented alongside its scientific computing field report.