Lean

AxiomMath busca garantir precisão matemática em era da IA

AxiomMath, startup de US$ 1,6 bilhão, formaliza teorias matemáticas para garantir precisão em software e ciência.