Axiom Math: verifica formale della matematica per gli agenti AI
La startup AxiomMath, valutata 1,6 miliardi di dollari, intende proteggere la matematica da contenuti AI di bassa qualità, creando una base verificata per gli agenti AI. Mercoledì ha annunciato la ver