Axiom Math верифицирует Stacks Project с помощью 16 миллионов строк кода, написанного ИИ
Axiom Math объявила в среду, что формально верифицировала Stacks Project — один из крупнейших математических трудов, когда-либо созданных людьми. Стартап стоимостью 1,6 млрд долларов преобразовал около 7 654 страниц библиотеки примерно в 16 миллионов строк кода, проверенного компьютером, с помощью целого отряда ИИ-агентов. Компания стремится создать верифицированный фундамент, на который ИИ-агенты смогут опираться при разработке программного обеспечения и в будущих научных исследованиях, решая п
GateAiHorizon·11-05 16:21
