OpenAI's Reasoning Model Cracks Erdős's 80-Year Conjecture

OpenAI's reasoning model achieved a landmark breakthrough by refuting the Erdős unit distance conjecture—a mathematical problem that stumped the field for 80 years. This demonstrates the power of "test-time compute," which allows AI to allocate more computational resources to reasoning on complex problems. Crucially, human mathematicians then leveraged the AI's geometric insights to solve additional conjectures, proving that advanced AI reasoning amplifies human discovery rather than replacing it.