Apresentamos a equipe de descoberta da Axiom, liderada por @f_charton: Construímos modelos que criarão novas construções, mapearão problemas em soluções e intuições e aprenderão a estrutura de mundos matemáticos inteiros. Projetado para atacar problemas complexos em aberto, um de cada vez.
@f_charton axiommath.ai/blog/ Leia nosso artigo mais recente sobre descobertas.