Компания OpenAI заявила, что одна из ее моделей решила проблему единичных расстояний на плоскости — одну из самых известных открытых задач дискретной геометрии, сформулированную Полом Эрдешем в 1946 году. Проверку доказательства провела группа независимых математиков.
Задача связана с поиском максимального числа пар точек на плоскости, расположенных на расстоянии ровно одной единицы друг от друга. Долгое время исследователи считали, что наиболее эффективное решение дают конструкции на основе квадратной решетки. Однако модель OpenAI построила более выгодную конфигурацию и тем самым опровергла одно из ключевых предположений в этой области.
По данным компании, разработчики не обучали систему специально этой задаче и не настраивали ее на поиск доказательств. Для решения ИИ использовал методы алгебраической теории чисел, которые ранее почти не связывали с данной геометрической проблемой.
Лауреат Филдсовской премии Тим Гауэрс назвал результат важной вехой для применения искусственного интеллекта в математике, а ряд ученых отметил способность современных моделей самостоятельно находить оригинальные подходы к сложным научным задачам.
