OpenAI solves planar unit distance problem using algebraic number theory

Technology