Новости по теме «Математика»

Подборка статей Бельский.ком по теме «Математика» — 1 материал

2026-10-10

В доказательстве математического прорыва OpenAI нашли расхождения

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