algebraic number theory

tech

OpenAI Model Cracks 80-Year-Old Mathematics Problem

An OpenAI reasoning model solved the planar unit distance problem, refuting a 1946 Erdős conjecture with a 125-page proof.