Математики утверждают, что OpenAI не понимает собственное доказательство Навье-Стокса
decoder ·
Математики подвергли критике недавнее заявление OpenAI о решении проблемы Навье-Стокса, утверждая, что предложенное доказательство, несмотря на формальную проверку в Lean, не обладает достаточной глубиной. Эксперты отмечают, что, хотя подход поверхностно напоминает работу испанских математиков, детальный анализ выявляет существенные расхождения в методологии. Ситуация осложняется обвинениями Тристана Бакстера из Нью-Йоркского университета, который заявил, что OpenAI использовала ранее неопубликованные работы; компания эти обвинения отвергает. Кроме того, OpenAI опубликовала около 400 дополнительных результатов на GitHub, что вызвало раздражение многих представителей математического сообщества, усмотревших в этом попытку обесценить строгие академические стандарты. Важным пунктом разногласий стала роль ИИ-агентов: исследователь Ноам Браун признал, что неясно, какой вклад внесла огромная группа из 10 000 экземпляров. Браун предполагает, что менее десяти процентов успеха связано с многоагентной настройкой, а основные достижения обусловлены выносливостью базовой модели и возможностями параллельной обработки. В результате критики утверждают, что OpenAI не до конца понимает механику или ценность своих собственных вычислительных усилий. Институт математики Клей продолжает рассматривать потенциальное решение по мере обострения дебатов о роли ИИ в высокоуровневой математике.
decoder