Entusiasmado por compartilhar: #Aletheia, nosso agente de pesquisa matemática, acabou de resolver 6/10 problemas do FirstProof, notoriamente difíceis, de forma autônoma, o melhor resultado no desafio inaugural! Para mim, isso é ainda maior do que nossa conquista histórica de ouro na IMO no ano passado; esses problemas desafiam até os melhores matemáticos. Compartilhamos nossos resultados de forma transparente, veja o artigo e todos os pensamentos no tópico. 👇