OpenAI's AI Solves 80-Year-Old Erdos Unit Distance Conjecture, Marking a New Era for Math Research

An OpenAI AI model has proved the Erdos unit distance conjecture, an 80-year-old unsolved problem in discrete geometry, marking a milestone in mathematics. It is being viewed as the first case of AI independently solving a major open conjecture and suggests a…