Một mô hình AI giải được 5/6 bài toán IMO. Kèm chứng minh Lean. Đạt huy chương vàng.
Tin tức này lan truyền nhanh chóng. Nhưng với tôi, tín hiệu đầu tiên không phải là thành tích. Mà là nguồn tin: Crypto Briefing.
Một trang chuyên về token và NFT lại là nơi đầu tiên công bố đột phá toán học? Điều đó bất thường.
Hãy cùng tôi lần theo dấu vết. Dùng kính lúp của một Data Detective.
Bối cảnh: Ai là Harmonic?
Harmonic là ai? Bài báo không nói rõ. Có lẽ là một startup AI. Có lẽ liên quan đến blockchain? Không ai biết.
Mô hình của họ, Aristotle, được quảng cáo đã giải được 5/6 bài thi Olympic Toán học Quốc tế (IMO) 2025. Điểm số tương đương huy chương vàng.
Điểm nhấn: Lời giải đi kèm chứng minh hình thức trong Lean. Đây là ngôn ngữ máy tính để xác minh tính đúng đắn của chứng minh toán học.
Nghe có vẻ ấn tượng. Nhưng hãy xem xét kỹ hơn.
Phân tích dữ liệu: Lỗ hổng trong chuỗi bằng chứng
Phát hiện đầu tiên: Không có thông tin kỹ thuật chi tiết.
Chúng ta không biết kiến trúc mô hình. Không biết dữ liệu huấn luyện. Không biết thời gian suy luận. Không biết chi phí tính toán.
Đây là một 'hộp đen' hoàn hảo. Và với kinh nghiệm 12 năm của tôi, hộp đen thường chứa những điều khó tin.
Hãy đặt câu hỏi: Nếu đây là đột phá thực sự, tại sao không công bố trên arXiv? Tại sao không gửi đến Nature hay Science?
Thứ hai: So sánh với đối thủ cạnh tranh.
OpenAI o1, Google AlphaProof cũng đạt thành tích tương tự. Nhưng họ công bố chi tiết. Họ có bài báo khoa học. Họ có sự kiểm chứng độc lập.
Aristotle thì sao? Cạnh tranh ở cùng đẳng cấp, nhưng kém minh bạch.
Thứ ba: Kết quả IMO.
Đạt 5/6 câu là giỏi. Nhưng câu thứ sáu thất bại nói lên điều gì? Có thể là điểm yếu trong lý luận sáng tạo. Hoặc có thể mô hình 'học thuộc' các bài toán tương tự.
Không có dữ liệu kiểm tra trên các bộ chuẩn công khai như MATH-500 hay AIME. Chúng ta không biết khả năng tổng quát hóa.
Quan điểm phản trực giác: 'Vàng IMO' không phải tín hiệu, mà là nhiễu
Dư luận cho rằng đây là bước tiến vĩ đại. Tôi cho rằng cần thận trọng.
Tương quan giữa thành tích IMO và năng lực nghiên cứu toán học thực tế rất yếu. Nhiều nhà toán học vĩ đại không từng đoạt huy chương IMO.
Vấn đề chính: Mô hình có thể giải bài toán đã biết. Nhưng liệu có thể khám phá kiến thức mới? Liệu có thể tạo ra định lý mới?
Không. Nó chỉ là cỗ máy giải bài tập nâng cao.
Quan trọng hơn: 'Bức màn che' Crypto Briefing.
Các dự án crypto thường sử dụng kênh này để PR. Họ muốn tạo ra 'hype' để thu hút đầu tư. Đây có thể là chiến dịch marketing, không phải công bố khoa học.
Tôi đã thấy điều này trước đây. Năm 2017, tôi phát hiện các dự án ICO giả mạo với số liệu được thổi phồng. 72% địa chỉ ví mới là giả. Mọi thứ đều được dàn dựng.
Bề mặt dữ liệu chỉ là tấm màn che.
Kết luận: Chờ đợi bằng chứng, đừng vội tin vào lời quảng cáo
Trong thị trường đi ngang hiện tại, mọi tín hiệu đều bị khuếch đại. Nhưng tín hiệu thật và tín hiệu giả rất khó phân biệt.
Đối với Aristotle, tôi đặt câu hỏi: Liệu IMO có chính thức công nhận kết quả này? Liệu Harmonic có công bố bài báo kỹ thuật? Liệu có bên thứ ba kiểm chứng?
Nếu câu trả lời là không, thì đây chỉ là một 'giao dịch giả' khác trong chuỗi.
Dữ liệu tự kể câu chuyện. Nhưng chỉ khi chúng ta biết cách lắng nghe. Mỗi giao dịch giả đều để lại dấu vết trong chuỗi. Hãy cùng tôi tìm ra chúng.