Os nossos modelos de raciocínio de propósito geral resolveram todos os 12 problemas na Final Mundial do Concurso Internacional de Programação Universitária (ICPC) de 2025, a principal competição de programação universitária do mundo, o que foi suficiente para um 1º lugar no ranking humano.