OpenAIs new reasoning model has solved a major open problem in mathematics by disproving Paul Erdos 1946 unit distance conjecture with an original proof. This marks the first time AI has independently solved a core mathematical problem using long-chain reasoning. The proof underwent independent verification by mathematicians and introduces a novel construction method overcoming previous assumptions. The breakthrough demonstrates significant progress in AI logical reasoning overcoming hallucination issues and has potential applications in fields like biology and materials science.