Did AI Solve an 80-Year-Old Math Problem? The Unexpected Reason Why Human Mathematicians Are Surprised
OpenAI's artificial intelligence has independently solved Erdős's unit distance problem, first proposed in 1946. We explain how AI is rewriting the history of mathematical research in an easy-to-understand way.