Våre generelle resonneringsmodeller løste alle 12 problemene i 2025 International Collegiate Programming Contest (ICPC) World Finals, verdens beste universitetsprogrammeringskonkurranse som var nok til en 1.-plass menneskelig rangering.