Alcançámos um desempenho ao nível da medalha de ouro na IMO deste ano! O nosso modelo pensa e escreve provas em inglês claro e simples - sem necessidade de código formal. Ao contrário dos sistemas mais restritos utilizados em competições anteriores, o nosso modelo foi construído para raciocinar de forma ampla, muito além dos problemas do concurso.