RealFeedApp AxiomMath верифицировала Stacks Project
Стартап с капиталом 1,6 млрд долларов завершил формальную проверку одного из крупнейших математических корпусов, созданного в 2005 году.
- Область
- инструменты и релизы
- Что сделали
- Компания Axiom Math завершила формальную проверку всей базы данных Stacks Project, содержащей тысячи математических теорем и доказательств.
- Зачем это
- Это позволит создавать программное обеспечение и проводить научные исследования с гарантией, что код и выводы не содержат ошибок, которые могли бы внести языковые модели.
#formal verification#ai safety#mathematics#axiommath
