Axiom Math quer manter a IA fora da matemática

À medida que a IA inunda a matemática com provas não verificadas, a Axiom Math aposta na verificação. Os agentes de IA da startup acabaram de verificar formalmente o Stacks Project, uma das maiores bibliotecas da área.