ResearchJust now
Research
OpenAI Solves Long-Standing Math And CS Problems
Ten specific breakthroughs in geometry, cryptography, and complexity now stand solved. OpenAI leveraged its internal capabilities to tackle these open problems in theoretical computer science. The results demonstrate a shift toward using LLMs for formal mathematical proofs. This progress provides a blueprint for researchers automating complex verification and discovery tasks.