🔐 В доказательстве математического прорыва OpenAI нашли расхождения
🔐 В доказательстве математического прорыва OpenAI нашли расхождения Ранее заявленный прорыв OpenAI по уравнениям Навье-Стокса оказался под вопросом. Исследователи сравнили опубликованное доказательство с его версией в формате Lean и нашли расхождения: в нескольких ключевых местах машинный вариант, проверяемый компьютером, содержит более слабые утверждения. Это ещё не опровержение, но повод для сомнений. Полная статья: https://clck.su/grqsV 🔗 Полная версия: https://belskii.com/news/v-dokazatelstve-matematicheskogo-proryva-openai-nashli-raskh/ 🗓 2026-10-10 · #ИИ #OpenAI #Математика
2 просмотров