OpenAI заявила о значительном прогрессе в решении задачи второго тысячелетия

OpenAI сообщила газете «Нью-Йорк Таймс», что с 8 сентября, когда было объявлено о решении уравнений Навье-Стокса, достигнуты «существенные успехи» во втором тысячелетнем призовом задании, но не уточнила, о каком именно задании идет речь, и не предоставила график раскрытия информации. Тысячелетние призовые задачи были установлены Институтом Клэя математических исследований с 2000 года и представляют собой семь математических задач с вознаграждением в 1 миллион долларов каждая.

Эксперты предполагают, что это задание может быть гипотезой Ходжа, 76-летней задачей о том, как вычислить количество «дырок» в сложных геометрических формах. OpenAI не подтвердила это предположение и не ответила на слухи о том, что ее модель была специально разработана для длительных задач в версии Aeon. Ранее OpenAI 8 сентября объявила, что ее неопубликованная внутренняя модель сгенерировала доказательство верификации Lean, показывающее, что уравнения Навье-Стокса могут «взрываться» до физически невозможной бесконечной скорости, при этом весь процесс задействовал около 10 000 координированных ИИ-агентов и занял около 88 часов.

Однако это заявление вызвало споры. Математик Нью-Йоркского университета Тристан Бакмастер заявил, что он и исследователь Anthropic Левент Алпёге уже почти год изучали соответствующее доказательство и завершили его 22 августа, а Себастьен Бюбек из OpenAI узнал об этом и опубликовал информацию первым. OpenAI заявила, что это не ради приза в 1 миллион долларов, а чтобы использовать эти задачи в качестве открытого эталона для измерения скорости прогресса модели. Проверка доказательства Навье-Стокса все еще продолжается в Институте Клэя математических исследований, и верификация предыдущих тысячелетних задач обычно занимает несколько лет.