Исследователи из Калифорнийского технологического института разработали ИИ-систему, способную решать сложнейшие математические задачи, требующие от 1 000 до 1 000 000 шагов. Для сравнения: партия в шахматы, которую уже давно освоили нейросети, в среднем состоит всего из 40 ходов.
Команда сфокусировалась на гипотезе Эндрюса-Кертиса — математической проблеме, остававшейся нерешенной на протяжении 60 лет. Хотя основную гипотезу доказать не удалось, ИИ смог опровергнуть ряд контрпримеров, которые оставались открытыми около 25 лет.
В отличие от существующих языковых моделей вроде DeepSeek или o3, которые хороши в поиске типичных решений, новая система специализируется на нахождении неочевидных, нестандартных подходов. При этом для обучения использовался всего 1 GPU, что делает разработку достаточно экономичной.
Разработанные алгоритмы могут найти применение не только в математике, но и в прогнозировании редких катастрофических событий — от ураганов до финансовых кризисов. Исследование было опубликовано 13 февраля на препринт-сервере ArXiv.
Источник новости и обложки: spectrum.ieee.org