Компания OpenAI близка к решению гипотезы Ходжа — одной из семи математических задач тысячелетия. По словам источников, сотрудники компании ожидают доказательства в ближайшее время, однако OpenAI прорабатывает стратегию публикации результатов, чтобы избежать конфликтов с научным сообществом.
Ранее компания занималась задачей о существовании и гладкости решений уравнений Навье — Стокса. Для этого исследования использовалась модификация модели следующего поколения под кодовым названием «Дуг» (Doug), а затраты на проект могли достигать нескольких миллионов USD.
Исследователи OpenAI считают математику логичным следующим этапом развития больших моделей после программирования. Обе дисциплины требуют пошаговых логических рассуждений, а результаты поддаются автоматической проверке. Ожидается, что автоматизация в математике может произойти в ближайшие 6–9 месяцев.
Решение сложных задач помогает OpenAI развивать автоматизацию машинного обучения, что является важным шагом к созданию самообучающегося ИИ. Кроме того, подобные успехи позволяют оценивать уровень сложности рассуждений моделей и их потенциальную применимость в других областях, таких как биология и химия.
