Nasze ogólne modele rozumowania rozwiązały wszystkie 12 problemów na Międzynarodowych Finałach Collegiate Programming Contest (ICPC) w 2025 roku, najlepszych na świecie zawodach programistycznych dla uniwersytetów, co wystarczyło do zajęcia 1. miejsca w rankingu ludzi.