Axiom Math vuole mantenere l'IA fuori dalla matematica

Mentre l’intelligenza artificiale inonda la matematica di dimostrazioni non verificate, Axiom Math scommette sulla verifica. Gli agenti AI della startup hanno appena verificato formalmente il progetto Stacks, una delle più grandi biblioteche del settore.