Модель искусственного интеллекта самостоятельно решила одну из самых известных задач в комбинаторной геометрии. Над этой проблемой математики работали почти восемь десятилетий. Неожиданностью стало то, что алгоритм опроверг гипотезу, которую многие считали верной.
Проблема единичного расстояния
- задача была сформулирована математиком Палом Эрдёшем в 1946 году
- суть вопроса: какое максимальное количество пар точек может находиться на расстоянии ровно в одну единицу друг от друга
- Эрдёш предполагал, что его вариант размещения точек является оптимальным
- за решение ученый назначил награду в 500 долларов
«Модель показала, что количество пар точек, находящихся на расстоянии в одну единицу друг от друга, может расти быстрее, чем предполагал Эрдёш. Таким образом, его давняя гипотеза оказалась ошибочной», — сообщают исследователи.
persik.by
Почему ИИ справился лучше людей
Ученые выделяют несколько причин успеха алгоритма. Люди десятилетиями пытались доказать гипотезу, следуя заданному направлению. Искусственный интеллект не имел таких ограничений и объединил идеи из алгебраической теории чисел и дискретной геометрии. На решение ушло около 32 часов работы сервера и создание текста рассуждений объемом 75 тысяч слов.
