Axiom Math перевела «Проект Stacks» в 16 млн строк верифицированного кода
Стартап Axiom Math объявил о формальной верификации «Проекта Stacks» — одной из крупнейших математических библиотек, созданных людьми. ИИ-агенты компании перевели около 7654 страниц в примерно 16 млн строк кода на языке Lean, который проверяется программой-доказателем.
