Математики почти 80 лет бились над проблемой единичных расстояний, которую в 1946 году сформулировал Пауль Эрдёш. Вопрос звучит обманчиво просто: сколько пар точек из n точек на плоскости могут находиться ровно на расстоянии 1 друг от друга? Эрдёш считал её одной из своих любимых задач и даже назначил денежный приз за решение.
Долгое время считалось, что лучшее, что можно сделать, — это слегка модифицированная квадратная решётка. Она даёт лишь немногим больше, чем n пар, а дополнительный множитель стремится к нулю с ростом n. Все попытки придумать существенно более плотную конструкцию проваливались. Верхняя граница, O(n⁴/³), полученная ещё в 1984 году Спенсером, Семереди и Троттером, так и осталась непревзойдённой.
Теперь модель OpenAI опровергла эту гипотезу. Она построила бесконечное семейство конфигураций, которые для бесконечно многих n дают как минимум n^(1+δ) единичных пар с фиксированным δ > 0. Профессор Принстона Уилл Совин уже уточнил результат: можно взять δ = 0.014. Доказательство проверила группа внешних математиков, они же написали сопроводительную статью.
Что особенно важно — модель не была заточена под математику или под эту конкретную задачу. Это новая универсальная модель рассуждений. Она впервые в истории самостоятельно решила известную открытую проблему в центре целого раздела математики. Причём решение пришло с неожиданной стороны: модель применила глубокие инструменты алгебраической теории чисел — бесконечные башни полей классов и теорию Голода — Шафаревича — к простому геометрическому вопросу. Тимоти Гауэрс, филдсовский медалист, назвал результат «вехой в AI-математике». По словам теоретика чисел Арула Шанкара, работа доказывает, что современные AI способны не просто помогать математикам, а самостоятельно генерировать оригинальные идеи и доводить их до конца.
Математик Томас Блум отметил в комментарии, что теперь алгебраические теоретики чисел наверняка присмотрятся к другим открытым задачам дискретной геометрии. Прорыв не просто закрыл конкретную гипотезу — он навел мост между двумя далёкими областями. А для AI это шаг к роли полноценного исследовательского партнёра, способного удерживать сложную логику и находить связи там, где их не ждали.