Alcançamos o desempenho de nível de medalha de ouro na IMO deste ano! 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 usados em competições anteriores, nosso modelo é construído para raciocinar amplamente, muito além dos problemas de competição.