Model4h ago
Model
GPT-5.4 Pro Solves Erdős Math Problem
GPT-5.4 Pro solved a longstanding open 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 a shift toward reliable formal verification. Practitioners can now expect LLMs to tackle complex, unsolved theoretical proofs with minimal human guidance.