Onze algemene redeneermodellen hebben alle 12 problemen opgelost tijdens de Wereldfinale van de International Collegiate Programming Contest (ICPC) in 2025, de beste universitaire programmeerwedstrijd ter wereld, wat genoeg was voor een 1e plaats in de menselijke ranking.