I nostri modelli di ragionamento di uso generale hanno risolto tutti e 12 i problemi della Finale Mondiale del 2025 del Concorso Internazionale di Programmazione Universitaria (ICPC), la competizione di programmazione universitaria di livello mondiale, il che è stato sufficiente per un primo posto nella classifica umana.