#mathematics

Research

Unit distance proof moves AI past clever math demos

The unit distance proof gives OpenAI an AI math win: n^1.014 unit pairs, with humans still doing the verification work.

Lars Cornelissen · Jun 3, 2026