Статьи по тегу «формальная верификация»
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 часов агенты представили механиз