Нейро-Инсайдер: Слухи об ИИ, Новости про нейросети.
IT и технологии · 27 октября 2026 г.
OpenAI: ИИ решил фундаментальные научные задачи
OpenAI: ИИ решил фундаментальные научные задачи OpenAI сообщила о достижении в решении многолетних проблем в области математики, информатики и физики. Модели компании удалось найти оригинальные доказательства, которые были формально верифицированы с помощью системы Lean. Результаты касаются фундаментальных основ вычислений и математической физики. В данный момент работа проходит независимую проверку экспертным сообществом. 🧠 📰 Подписаться на канал