Гипотеза Ходжа — одна из семи задач тысячелетия. Она касается связи между геометрией алгебраических многообразий и их алгебраическими циклами. Проще говоря, гипотеза спрашивает: можно ли определённые геометрические свойства сложных фигур всегда описать через более простые алгебраические строительные блоки. Для математиков это фундаментальный вопрос о том, насколько глубоко алгебраические методы способны описывать топологию.
По данным The Decoder, OpenAI уже использовала вариант своей следующей предобученной модели под кодовым именем Doug для работы над задачей Навье — Стокса. Стоимость таких вычислений, по оценкам источника, могла исчисляться миллионами долларов. Теперь компания, как сообщается, продвинулась и в направлении гипотезы Ходжа. Сотрудники ожидают скорого решения, однако официального подтверждения нет, и анонс может быть отложен. После PR-кризиса вокруг задачи Навье — Стокса OpenAI, по-видимому, хочет тщательнее подготовить коммуникацию.
| Задача | Статус | Модель | Стоимость |
|---|---|---|---|
| Навье — Стокса | Официально не подтверждено | Вариант модели Doug | Миллионы долларов (оценка) |
| Гипотеза Ходжа | Ожидается решение | Не уточняется | Не уточняется |
Контекст важен: главный исследователь OpenAI Якуб Пачоцки на запуске Astra говорил, что приоритет компании — рекурсивное самоулучшение, то есть ИИ, который оптимизирует сам себя, а не математика. Решение задач тысячелетия в этой логике — не самоцель, а возможный инструмент. Некоторые внутри компании, по данным источника, полагают, что успехи в математике могут питать рекурсивное самоулучшение: способность ИИ решать сложные формальные проблемы теоретически позволяет ему улучшать собственные архитектуры и алгоритмы.
OpenAI уже работала над задачей Навье — Стокса, используя вариант следующей предобученной модели под кодовым именем Doug.
Что именно OpenAI надеется получить от решения гипотезы Ходжа, источник не уточняет. Неясно и то, как компания планирует подтверждать результат: математические доказательства требуют проверки сообществом, а не пресс-релиза. Пока нет ни статьи, ни рецензирования, ни независимого подтверждения. Это оставляет пространство для скепсиса — особенно на фоне того, что решение задачи Навье — Стокса до сих пор официально не подтверждено.
Реакция математического сообщества, по данным The Decoder, скорее негативная. Часть математиков воспринимает происходящее как угрозу всей их области. Это не просто эмоциональная реакция: если ИИ начнёт решать задачи, которые считаются вершиной человеческой математической мысли, это поставит вопросы о роли математиков, о финансировании фундаментальных исследований и о том, как проверять и признавать результаты, полученные машиной. Пока же речь идёт о сообщениях, а не о доказательствах. Гипотеза Ходжа остаётся нерешённой, и до появления проверяемой работы любые заявления о прогрессе остаются на уровне слухов.
