An amateur mathematician fed an # Erdős problem into GPT-5.4 Pro that humans have been working on for 60 years "Previous # LLM solutions to Erdős problems used
An amateur mathematician utilized GPT-5.4 Pro to solve a long-standing mathematical problem posed by Paul Erdős, which had eluded human mathematicians for 60 years. The AI's approach differed significantly from human methods, finding a novel proof by re-framing the problem rather than using traditional techniques. This achievement has sparked debate about the future of mathematics and the role of AI in scientific discovery. AI
IMPACT Demonstrates AI's potential to discover novel mathematical proofs, challenging traditional human approaches and raising questions about the future of scientific discovery.