22 октября 2026 г.
OpenAI заявила доказательство варианта задачи Клэя за $22,5 млн вычислений: рецензии пока нет
Внутренняя модель OpenAI, по заявлению компании, доказала блоу-ап для уравнений Навье–Стокса, то есть рост скорости жидкости до бесконечности в отдельных точках. Запуск шёл 88 часов на 10 000 параллельных агентов, по данным DataCamp это $22,5 млн вычислений.
1 сентября OpenAI запустила работу после слухов, что две задачи тысячелетия решены. 6 сентября закончили формализацию на Lean, 8 сентября опубликовали манускрипт и формализацию.
Проверки пока нет. Lean проверяет доказательство компьютером, а не рецензентом. Независимого рецензирования на момент публикации не было: результат заявлен, но экспертами не проверен.
Не хотите разбираться сами? Внедряем ИИ в ваш бизнес: задачи без лимита, одна цена в месяц, отмена в любой момент.
Спор о методе. Тристан Бакмастер (NYU) заявил, что OpenAI взяла метод forcing из его работы с Леви Алпёге по уравнениям Эйлера, выложенной накануне анонса. Сотрудник OpenAI Себастьен Бубек ответил, что промпт и доказательства Бакмастера и Алпёге не использовали.
Окончательный ответ даст экспертная рецензия по опубликованному манускрипту и Lean-формализации.
Первоисточник