Abbiamo raggiunto prestazioni a livello di medaglia d'oro all'IMO di quest'anno! Il nostro modello pensa e scrive dimostrazioni in un inglese chiaro e semplice - non è necessario alcun codice formale. A differenza dei sistemi più ristretti utilizzati nelle competizioni passate, il nostro modello è progettato per ragionare in modo ampio, ben oltre i problemi del concorso.