A Axiom se propôs a construir um matemático com inteligência artificial. Nós somos os azarões. Com 4 meses de existência, 2 anos de atraso, menos de 10 funcionários em tempo integral (recentemente subiu para 17) e uma proporção de 1:5 em financiamento e avaliação em relação ao nosso concorrente. Hoje, o AxiomProver resolveu os Problemas de Erdős nº 124 e nº 481 em Lean, uma linguagem 100% verificável. Avante!
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.