An OpenAI model has disproved a central conjecture in discrete geometry
3 hours ago
- #algebraic number theory
- #AI mathematics
- #discrete geometry
- An OpenAI model disproved a longstanding conjecture in the planar unit distance problem posed by Paul Erdős in 1946.
- The conjecture suggested the square grid construction was optimal for maximizing unit-distance pairs among points in the plane.
- The AI model autonomously generated a proof, providing an infinite family of examples that yield a polynomial improvement.
- The proof introduces unexpected connections from algebraic number theory, such as infinite class field towers, to Euclidean geometry.
- This marks the first time AI has solved a prominent open problem in mathematics, verified by external mathematicians.
- The result highlights AI's potential for deep reasoning, connecting distant areas of knowledge and aiding frontier research.
- The broader impact includes applications in other fields like biology, physics, and engineering, enhancing human-AI collaboration.