OpenAI's internal AI model found a counterexample to Paul Erdős's 1946 unit distance problem, marking the first historically...

Source Brief

OpenAI's internal AI model found a counterexample to Paul Erdős's 1946 unit distance problem, marking the first historically significant conjecture solved by AI. This breakthrough demonstrates AI's growing capability in mathematical research.