OpenAI замахнулась на вторую Задачу тысячелетия

Ещё десять дней назад решение одной Задачи тысячелетия казалось событием века. Теперь OpenAI говорит о второй — как о рабочем процессе. Компания подтвердила The New York Times, что за последние дни добилась «существенного прогресса» по ещё одной из семи задач Института Клэя и готовит анонс. Какой именно — не уточняет.

Тред на r/singularity набрал почти 500 апвоутов и две сотни комментариев, и тон там заметно холоднее, чем после Навье — Стокса 8 сентября. Причины понятны: история с первой задачей до сих пор не закрыта. Математик Тристан Бакмастер обвинил OpenAI в давлении и спешке, полное доказательство сообщество проверяет до сих пор, а открытое письмо математиков с требованием прозрачности — мы разбирали его на прошлой неделе — собрало сотни подписей. Плюс свежее эссе Скотта Ааронсона о том, что лаборатории могут придерживать доказательства ради конкурентного преимущества. На этом фоне «готовим анонс» без называния задачи звучит для многих как маркетинг.

Тем временем Scientific American опросил экспертов, какая из пяти оставшихся задач падёт следующей. Фаворит — гипотеза Бёрча — Свиннертон-Дайера о ранге эллиптических кривых: языковые модели исторически сильны в поиске контрпримеров, а именно контрпример мог бы закрыть вопрос. Следом идёт гипотеза Ходжа. Гипотеза Римана — самый громкий возможный сценарий: найденный нуль вне критической прямой обрушил бы сотни теорем, доказанных «в предположении Римана». А вот в успех по теории Янга — Миллса и уж тем более по «P vs NP» эксперты не верят: для последней, по словам Ааронсона, у человечества нет даже наброска стратегии доказательства.

Интрига добавляется слухами о гонке: по сообщениям на Reddit, Anthropic тоже близка к результату по одной из задач. Подтверждений нет, но сама постановка — две компании соревнуются, кто быстрее заберёт миллион долларов Института Клэя, — год назад была бы сюжетом фантастического рассказа.

Осторожность здесь уместна: «существенный прогресс» — это не решение, а Навье — Стокс показал, что путь от анонса до признания сообществом может быть длиннее, чем от идеи до анонса. Но если осенью 2026-го падёт вторая задача за два месяца, спор о том, изменил ли AI математику, можно будет считать закрытым.