Mathematics
🧮 AI solves a math problem that had remained unsolved for 80 years
OpenAI's AI model solved the so-called unit distance problem. The problem was posed by the mathematician Paul Erdős around 80 years ago and had remained unsolved ever since. Several prominent mathematicians confirm that the solution is on par with work produced by humans.
🧮 AI solves math problem that researchers failed to crack for six years
An AI system has for the first time solved a problem from FrontierMath, a benchmark consisting of real research problems that mathematicians have failed to solve. Multiple AI models have now demonstrated the ability to solve the problem, including GPT-5.4 Pro, Gemini 3.1 Pro, and Claude Opus 4.6.
🧮 AI helps mathematicians solve problems that have been unsolved for decades
Since October, AI tools have helped move about 100 of Paul Erdős' mathematical problems into the "solved" category. Large language models function as powerful research assistants that can find and combine existing mathematical results in new ways.