Наші моделі міркувань загального призначення вирішили всі 12 проблем на Світовому фіналі Міжнародного конкурсу університетського програмування (ICPC) 2025 року, найвищому у світі змаганні з університетського програмування, чого було достатньо для 1-го місця в рейтингу людини.