Muito prazer em compartilhar: #Aletheia, nosso agente de pesquisa matemática, acabou de resolver 6/10 problemas notoriamente difíceis do FirstProof de forma autônoma, o melhor resultado do desafio inaugural! Para mim, isso é ainda maior do que nossa conquista histórica de ouro na IMO no ano passado; Esses problemas desafiam até mesmo os principais matemáticos. Compartilhamos nossos resultados de forma transparente, vejo o artigo e as opiniões completas no tópico. 👇