Статьи по тегу «lean»
14 октября 2026, 19:19
166 страниц доказательства и месяц споров: как OpenAI запутала математиков решением Навье–Стокса
Доказательство для уравнений Навье–Стокса, которое модель OpenAI представила в сентябре, не повторяет маршрут математиков, обвинивших компанию в краже идей. К такому выводу пришли несколько групп эксп
7 октября 2026, 09:12
Ещё не выпущенная схема OpenAI подготовила 722 математические работы
OpenAI открыла репозиторий с 722 математическими рукописями, подготовленными внутренней, пока не выпущенной моделью. Работы объединены в 372 семейства: в каждое входят связанные результаты, дополнител
23 сентября 2026, 11:01
Opus 5.5 за 15 часов предложил свежий механизм поиска кратчайших путей эффективнее Дейкстры
Исследователь Vals AI поставил десяти агентам Claude Opus 5.5 задачу: придумать более быстрый механизм поиска кратчайших путей и доказать его свойства в Lean. Через 15 часов агенты представили механиз
17 марта 2026, 16:10
Mistral AI показала Leanstral: кодинг, который можно не проверять
Французская Mistral AI представила Leanstral – открытого ИИ-агента, который не просто генерирует, а ещё и формально доказывает корректность своих же творений. Это помощник, который работает в связке с