OpenAI released details on a model that used algebraic number theory to generate a proof disproving the Erdős unit distance conjecture

— Mark Chen called the result productive AI work in mathematics.