Venha conhecer e conversar sobre AI4Math e Axiom!!! Estamos contratando com pacotes extremamente competitivos - se você trabalha com aprendizado por reforço, raciocínio, geração de código, demonstração formal de teoremas, formalização automática, entre em contato! Envie uma mensagem direta ou um e-mail para carina@axiommath.ai
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.
