Compartilhamos as tentativas de prova do nosso modelo de IA para o desafio matemático First Proof, testando raciocínio de nível de pesquisa em problemas de nível especialista.