🤖 ИИ решает 80-летнюю геометрическую задачу

Спустя восемь десятилетий после того, как Пал Эрдёш поставил задачу о единичных расстояниях в 1946 году, универсальный ИИ нашёл конфигурации, которые превосходят давние предположения. Это доказательство включает как минимум n^(1+δ) пар единичных расстояний для некоторого δ>0. Математики из Принстона подтвердили результат, а такие фигуры, как Тим Гауэрс и Арул Шанкар, назвали его значительным прорывом.