AI Solves More Erdős Math Problems

AI summary

OpenAI said an internal model produced a counterexample to the 1946 Erdős unit distance problem, and later announced another unreleased model, Astra, made additional mathematical advances including three more Erdős problems. Mathematicians say these results suggest AI is becoming a meaningful tool in mathematical research, especially in combinatorics and arithmetic combinatorics.