A reasoning model from OpenAI has disproved a conjecture by mathematician Paul Erdős on unit-distance geometry that stood open since 1946 - using tools from algebraic number theory that experts never expected in this context. Fields Medalist Tim Gowers calls the result "a milestone in AI mathematics" and warns: "We have still probably entered an era where it will become very difficult for humans to compete with AI at solving mathematical problems." The article OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking appeared first on The Decoder.