Model4h ago
GPT-5.4 Pro Solves Open Erdős Math Problem
Eighty minutes is all GPT-5.4 Pro needed to solve a longstanding open Erdős mathematics problem. Terence Tao described the result as a meaningful contribution to the field. This leap in reasoning capabilities suggests a shift from pattern matching to genuine logical discovery. Mathematicians can now use these models to verify complex conjectures rapidly.