OpenAI Says Its AI Solved an 80-Year-Old Math Problem. The Proof Surprised Mathematicians.
OpenAI announced that one of its internal reasoning models solved a math problem first posed by mathematician Paul Erdős in 1946, concerning the maximum number of unit-distance pairs among points on a…