Chúng tôi đã đạt được hiệu suất ở mức huy chương vàng trong IMO năm nay! Mô hình của chúng tôi suy nghĩ và viết chứng minh bằng tiếng Anh rõ ràng, đơn giản - không cần mã chính thức. Khác với các hệ thống hẹp hơn được sử dụng trong các cuộc thi trước, mô hình của chúng tôi được xây dựng để lý luận một cách rộng rãi, vượt xa các bài toán trong cuộc thi.