3DNews · 9 октября 2026
Математический прорыв OpenAI оказался под вопросом — учёные нашли расхождение в доказательстве
Математический прорыв OpenAI начал вызывать вопросы. Учёные сравнили опубликованное доказательство по уравнениям Навье — Стокса с его алгоритмической Lean-версией и нашли расхождения: в нескольких ключевых местах машинный вариант, проверяемый на компьютере, содержит более слабые …
Почему это важно
Краткий обзор собран из открытых источников. Полные детали — по ссылке на первоисточник.
Мы не копируем чужой контент. Эта страница — честная подборка с прямой ссылкой на оригинал.