Model4h ago
Model
GPT-5.4 Pro Solves Open Erdős Math Problem
GPT-5.4 Pro solved a longstanding Erdős mathematics problem in just 80 minutes. Mathematician Terence Tao described the result as a meaningful contribution to the field. This leap in reasoning capabilities suggests LLMs can now tackle complex, unsolved theoretical proofs. Practitioners should expect a shift toward AI-driven formal verification and advanced mathematical discovery.