OpenAI, как сообщается, близка к решению гипотезы Ходжа — второй задачи тысячелетия

Главный смысл: По данным The Information, OpenAI близка к решению гипотезы Ходжа — одной из семи «задач тысячелетия». Если подтвердится, это будет вторая задача из списка Института Клэя, в решении которой компании приписывают решающую роль, — после ещё официально не подтверждённого «решения» уравнений Навье — Стокса.

• Источник — слух, а не анонс. Информация исходит от неназванного человека, знакомого с ситуацией: сотрудники OpenAI якобы ждут решения «в ближайшее время». Сама компания ничего не подтверждала, и The Decoder подаёт это как сообщение, а не как факт.
• Анонс могут придержать. После PR-кризиса вокруг истории с Навье — Стокса OpenAI, по данным источника, хочет аккуратнее выстроить коммуникацию, поэтому публичное заявление может быть отложено даже при готовом результате.
• Технические детали из прошлого кейса. Для задачи Навье — Стокса использовался вариант следующей предобученной модели под кодовым именем «Doug»; стоимость вычислений оценивалась в миллионы долларов. При этом главный исследователь OpenAI Якуб Пачоцки на презентации Astra говорил, что приоритет компании — рекурсивное самоулучшение ИИ, а не математика.
• Реакция математиков скорее негативная. Сообщество, по описанию статьи, «скорее разгневано, чем впечатлено»; часть математиков воспринимает происходящее как угрозу самой профессии.

Что дальше: Ключевое — независимая проверка. Премия Института Клэя требует публикации доказательства в рецензируемом журнале и двухлетнего периода признания сообществом, так что до какого-либо официального статуса «решено» — годы, даже если анонс состоится. Остаётся неподтверждённым и сам результат по Навье — Стокса: ни статьи, ни формальной верификации в открытом доступе нет. За чем следить: появится ли препринт с доказательством гипотезы Ходжа, признают ли его специалисты по алгебраической геометрии и как OpenAI оформит заявление. Отдельный вопрос — мотивация: внутри компании, по слухам, считают, что такие результаты могут подпитать рекурсивное самоулучшение моделей, но практическая связь пока не показана.