Claude’s Solution to Decades-Long Math Mystery Is ‘Essentially Correct,’ Physicists Say

For years, physicists were stuck in trying to explain an important mathematical problem in physics. The right approach ended up being too simple.
Ars Technica

An OpenAI model solved a famous math problem that stumped humans for 80 years

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...