ИИ OpenAI впервые самостоятельно решил знаменитую задачу Эрдёша о единичных расстояниях
OpenAI объявила, что её внутренняя модель искусственного интеллекта впервые в истории полностью самостоятельно решила центральную открытую задачу комбинаторной геометрии. ИИ опроверг гипотезу Эрдёша 1946 года о единичных расстояниях, которая десятилетиями не поддавалась усилиям математиков.
Гипотеза Эрдёша — одна из самых известных в комбинаторной геометрии. Она касается максимального числа единичных расстояний, которые могут возникнуть между n точками на плоскости. Несмотря на множество частичных результатов, полное решение оставалось недостижимым.
Модель OpenAI работала в полностью автономном режиме: без подсказок и участия человека. ИИ сгенерировал доказательство, которое опровергает исходную гипотезу. Как отмечают в компании, это первый случай, когда ИИ решает задачу такого уровня без вмешательства специалистов.
Результат оформлен в виде препринта. Он уже прошёл проверку сторонними математиками, включая специалистов по теории чисел. Учёные не только подтвердили корректность решения, но и упростили его, а также усилили некоторые выводы.
Это событие называют прорывом в применении ИИ в математике. Ранее нейросети помогали в доказательствах или находили закономерности, но полностью автономное решение крупной открытой задачи произошло впервые. Эксперты полагают, что это может стимулировать использование ИИ для других нерешённых проблем.
Подробности работы пока не раскрываются, однако OpenAI намерена продолжить исследования в этом направлении. Математическое сообщество уже проявило живой интерес к результату, отмечая его значимость для развития комбинаторной геометрии и теории чисел.
