Research1h ago
Research
OpenAI Solves Long-Standing Math and CS Problems
Ten specific breakthroughs in geometry, cryptography, and complexity now anchor OpenAI's latest research push. The lab applied its models to open problems in theoretical computer science to prove new theorems. These results demonstrate that LLMs can move beyond pattern matching into formal reasoning. Practitioners can now leverage these methods for complex mathematical verification.