OpenAI AI reasoning model claims breakthrough on the planar unit distance problem, solving Paul Erdos 1946 puzzle and impressing top mathematicians ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...