Thị trường · ✦ AI tổng hợp
Mô hình AI Aristotle của Harmonic đạt huy chương vàng Olympic Toán quốc tế
Mô hình suy luận Aristotle do Harmonic phát triển đã giải được 5 trong 6 bài toán tại IMO 2025, với các bằng chứng được xác minh qua Lean. Đây được xem là cột mốc quan trọng trong lĩnh vực suy luận toán học của trí tuệ nhân tạo.
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.
/ Bài viết liên quan
Coinbase muốn trở thành sàn 'tất cả trong một' tại Canada nhưng cần khung pháp lý rõ ràng hơn
CEO mới của Coinbase Canada, Eric Richmond, cho rằng cần có quy định pháp lý vĩnh viễn thay vì các miễn trừ tạm thời để công ty có thể mở rộng sang phái sinh, tài sản token hóa và DeFi tại thị trường Canada. Coinbase đang nhắm đến mục tiêu trở thành sàn giao dịch toàn diện tại quốc gia này.
Căng thẳng Mỹ-Iran leo thang: Thị trường tài chính toàn cầu đối mặt rủi ro mới
Căng thẳng giữa Mỹ và Iran gia tăng sau vụ tấn công tên lửa tại Trung Đông, làm dấy lên lo ngại về nguy cơ gián đoạn lưu thông dầu mỏ qua eo biển Hormuz. Diễn biến địa chính trị này tạo ra áp lực lên sự ổn định của thị trường tài chính và tài sản số toàn cầu.
Iran tấn công tên lửa vào căn cứ Mỹ giữa lúc đàm phán ngừng bắn có tiến triển
Iran vừa phát động cuộc tấn công tên lửa nhằm vào các căn cứ quân sự Mỹ, diễn ra ngay trong bối cảnh các nỗ lực ngoại giao ngừng bắn khu vực đang có dấu hiệu khả quan. Sự kiện này được nhận định có thể làm gia tăng căng thẳng quân sự và tác động đến cách thị trường toàn cầu đánh giá rủi ro xung đột địa chính trị.
Haseeb Qureshi cảnh báo VC crypto có thể biến mất vào năm 2030
Haseeb Qureshi, quản lý điều hành tại Dragonfly, cảnh báo rằng quỹ đầu tư mạo hiểm (VC) trong lĩnh vực crypto có thể mất đi vị thế thống trị khi các nền tảng lớn ngày càng thu hút nhiều người dùng và thanh khoản hơn. Dữ liệu từ Cryptorank cho thấy số lượng nhà đầu tư tích cực trong ngành đã giảm xuống mức thấp nhất kể từ cuối năm 2020.