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