Các mô hình lý luận đa năng của chúng tôi đã giải quyết tất cả 12 vấn đề tại Cuộc thi Lập trình Đại học Quốc tế (ICPC) 2025, cuộc thi lập trình đại học hàng đầu thế giới, điều này đủ để đạt được vị trí 1 trong bảng xếp hạng con người.