Задача и её история
Задача об единичных расстояниях — классическая проблема дискретной геометрии, раздела математики, изучающего расположение конечных наборов точек и геометрических конфигураций. Сформулированная около 80 лет назад, она оставалась открытой несмотря на многолетние усилия математического сообщества.
Вокруг задачи сложился ряд гипотез, одна из которых занимала центральное место в дискретной геометрии. Именно эту гипотезу модель OpenAI опровергла, тем самым закрыв вопрос, остававшийся нерешённым на протяжении восьми десятилетий.
Что сделала модель
OpenAI — американская исследовательская компания в области искусственного интеллекта — объявила, что её модель самостоятельно опровергла математическую гипотезу, считавшуюся одной из ключевых в дискретной геометрии. Речь идёт о получении нового математического результата, а не о верификации уже известного доказательства.
Задача об единичных расстояниях относится к фундаментальной математике: такие задачи традиционно считаются сложными для автоматизации, поскольку требуют не просто вычислений, но нетривиальных умозаключений и нахождения нестандартных подходов к доказательству.
Значение для математики и ИИ
Результат фиксируется как значимый шаг в применении ИИ к математическим исследованиям. Закрытие 80-летней открытой задачи задаёт новую точку отсчёта в дискуссии о том, насколько ИИ-системы способны работать в области фундаментальной науки — не в роли инструмента поиска литературы или помощника при верификации, а как самостоятельного участника математического процесса.
Насколько полученный результат пройдёт проверку математическим сообществом и будет воспроизведён независимо — вопрос, который предстоит решить. Тем не менее сам факт опровержения долгосрочной гипотезы дискретной геометрии с помощью ИИ-модели уже меняет характер разговора о границах применения ИИ в точных науках.
