Ранее заявленный прорыв OpenAI по уравнениям Навье-Стокса оказался под вопросом. Исследователи сравнили опубликованное доказательство с его версией в формате Lean и нашли расхождения: в нескольких ключевых местах машинный вариант, проверяемый компьютером, содержит более слабые утверждения.
Это ещё не опровержение, но повод для сомнений.
Полная статья: https://clck.su/grqsV
ВКонтакте
MAX