Våra allmänna resonemangsmodeller löste alla 12 problem vid 2025 International Collegiate Programming Contest (ICPC) World Finals, världens främsta universitetsprogrammeringstävling vilket räckte för en 1:a plats mänsklig ranking.