Mô hình AI Aristotle của Harmonic đạt huy chương vàng Olympic Toán quốc tế

AI đạt trình độ huy chương vàng tại Olympic Toán quốc tế 2025

Mô hình suy luận Aristotle của công ty AI Harmonic vừa ghi dấu ấn lịch sử khi giải thành công 5 trong 6 bài toán tại kỳ thi Olympic Toán học quốc tế (IMO) 2025 — mức điểm tương đương huy chương vàng theo thang đánh giá của cuộc thi.

Bằng chứng được xác minh hình thức qua Lean

Điểm đáng chú ý là các lời giải của Aristotle không chỉ đúng về mặt kết quả, mà còn được xác minh thông qua Lean — một ngôn ngữ chứng minh toán học hình thức (formal proof assistant). Điều này loại bỏ khả năng mô hình chỉ đoán mò hay suy luận sai bước trung gian, đảm bảo tính chặt chẽ toán học ở mức độ máy tính có thể kiểm chứng.

IMO là cuộc thi toán học danh giá nhất dành cho học sinh trung học, nổi tiếng với các bài toán đòi hỏi tư duy sáng tạo và suy luận nhiều bước phức tạp — vốn là thách thức lớn với các hệ thống AI truyền thống.

Ý nghĩa với ngành AI và blockchain

Thành tựu này được cộng đồng công nghệ đánh giá cao vì nó cho thấy khả năng suy luận toán học tự động của AI đang tiến gần đến trình độ chuyên gia con người. Trong bối cảnh ngành blockchain và crypto ngày càng phụ thuộc vào các hệ thống zero-knowledge proof (ZKP) và smart contract yêu cầu độ chính xác toán học cao, năng lực chứng minh hình thức của AI như Aristotle có tiềm năng ứng dụng thực tiễn đáng kể.

Các nền tảng L2 và zkEVM hiện tại đòi hỏi quá trình kiểm tra và tối ưu hóa mạch toán học (arithmetic circuits) rất phức tạp. Nếu các mô hình AI có thể hỗ trợ hoặc tự động hóa bước xác minh này, chi phí phát triển và kiểm toán hệ thống có thể giảm đáng kể.

Harmonic và hướng đi tiếp theo

Harmonic là startup AI tập trung vào suy luận toán học và khoa học, với mục tiêu xây dựng các mô hình có thể thực hiện chứng minh hình thức ở quy mô lớn. Kết quả tại IMO 2025 là minh chứng rõ ràng nhất cho đến nay về năng lực của hướng nghiên cứu này.

Trước Aristotle, mô hình AlphaProof của Google DeepMind cũng từng đạt thành tích tương tự tại IMO 2024. Sự xuất hiện của thêm một tác nhân độc lập đạt ngưỡng huy chương vàng cho thấy đây không còn là thành tích đơn lẻ, mà là xu hướng phát triển rõ nét của AI trong lĩnh vực toán học thuần túy.