Research2h ago
Research
OpenAI Solves Ten Math And CS Problems
Ten long-standing open problems in geometry, cryptography, and complexity now have solutions. OpenAI utilized its internal models to drive these theoretical breakthroughs. The results demonstrate that LLMs can move beyond pattern matching into formal reasoning. This shift enables researchers to automate the discovery of complex mathematical proofs and theoretical computer science theorems.