Математический прорыв OpenAI оказался под вопросом — учёные нашли расхождение в доказат...
Математический прорыв OpenAI оказался под вопросом — учёные нашли расхождение в доказательстве Математический прорыв OpenAI начал вызывать вопросы. Учёные сравнили опубликованное доказательство по уравнениям Навье — Стокса с его алгоритмической Lean-версией и нашли расхождения: в нескольких ключевых местах машинный вариант, проверяемый на компьютере, содержит более слабые утверждения. Это ещё не опровержение, но почва для сомнений уже вполне плодородная #openai #ии #математика https://3dnews.ru/1149693?utm_source=nova&utm_medium=max
653 просмотров