Lịch sử gọi tên: AI của Xiaohongshu giành huy chương vàng IMO với điểm tuyệt đối

Vừa mới đây, kết quả IMO 2026 đã chính thức được công bố, cuộc đua của các mô hình ngôn ngữ lớn (LLM) năm nay đã đạt đến một tầm cao mới. Theo đánh giá chính thức từ IMO, mô hình ngôn ngữ lớn dots-note-3.0 của Xiaohongshu đã trả lời đúng toàn bộ 6 câu hỏi và giành huy chương vàng với số điểm tuyệt đối.

Độ "chất" của thành tích này cao đến mức nào?

Có thể nói thế này: đây là lần đầu tiên một mô hình ngôn ngữ lớn của Trung Quốc đạt được chứng nhận huy chương vàng chính thức từ IMO, đồng thời cũng là mô hình thứ hai trên thế giới làm được điều này sau mô hình Gemini của Google.

Và cần nhấn mạnh rằng: đây là điểm tuyệt đối! Ngay cả Google năm đó cũng chỉ giải đúng 5/6 câu...

Thật kinh ngạc, đây có còn là Xiaohongshu mà tôi từng biết không?

Lần đầu tiên tham gia một cuộc thi đẳng cấp thế giới đã có ngay một khởi đầu đầy ấn tượng.

Đi sâu vào tìm hiểu, cách giải đề của mô hình dots-note-3.0 từ Xiaohongshu còn khiến người ta phải trầm trồ hết lần này đến lần khác:

Nó chỉ sử dụng ngôn ngữ tự nhiên để hoàn thành toàn bộ quá trình từ đọc đề, phân tích đến viết lời giải. Kết quả cuối cùng không chỉ đúng hoàn toàn mà ở một số câu hỏi, nó còn sáng tạo ra những phương pháp giải phi truyền thống.

Sau khi xem xét, Lưu Hàm Tộ (Liu Hanzo), người từng hai lần giành huy chương vàng CMO, đã đánh giá như sau:

Mô hình cuối cùng đã đưa ra một hướng chứng minh chính xác và đẹp mắt.

Cách giải này có cấu trúc chặt chẽ, logic tự nhiên, ngay cả khi đặt trong các lời giải của IMO, nó vẫn thuộc loại ngắn gọn và tinh tế.

Uông Thiên Đồng (Wang Qiantong), người từng giành huy chương vàng CMO, cũng đưa ra kết luận tương tự:

Dưới góc độ thẩm mỹ toán học, lời giải của mô hình dots-note-3.0 từ Xiaohongshu rất đẹp và đầy tinh tế.

Các phương pháp thông thường vốn đã rất khéo léo, nhưng dots đã trực tiếp đánh vào phần khó nhất và cốt lõi nhất của bài toán.

Theo anh, cách giải của dots rất ngắn gọn, rõ ràng và đánh thẳng vào bản chất vấn đề.

Sau khi xem xong, bạn sẽ thấy mỗi bước đều rất hợp lý, nhưng khi thực sự cầm đề bài trên tay, các thí sinh là con người rất khó để nghĩ ra hướng tiếp cận này.

Nói cách khác, huy chương vàng tuyệt đối tại IMO có lẽ vẫn chưa phải là giới hạn năng lực của mô hình dots-note-3.0 từ Xiaohongshu.

Tại sao các mô hình ngôn ngữ lớn hiện nay lại cần đến IMO?

Trước tiên hãy phổ cập một chút về IMO là gì và tại sao các bên đều tranh nhau đưa mô hình của mình vào phòng thi.

IMO còn được gọi là Olympic Toán học Quốc tế, nơi hội tụ những học sinh trung học xuất sắc nhất thế giới mỗi năm.

Gần một nửa số người đạt giải Fields đương đại như Terence Tao đều bước ra từ IMO, và đồng sáng lập Google Sergey Brin cũng từng giành huy chương vàng IMO.

Cuộc thi thường diễn ra trong hai ngày, mỗi ngày làm 3 câu hỏi trong 4,5 giờ, tổng cộng 6 câu hỏi bao gồm bốn lĩnh vực: đại số, tổ hợp, hình học và lý thuyết số. Mỗi câu 7 điểm, tổng điểm tối đa là 42.

Nhưng chỉ có đáp án thôi là chưa đủ, để giành điểm, thí sinh phải viết ra quy trình chứng minh hoàn chỉnh về mặt logic và có thể chịu được sự kiểm tra từng bước.

Đối với các mô hình ngôn ngữ lớn, đây là một thử thách cực kỳ khó khăn, nhưng cũng là cách trực quan nhất để thể hiện năng lực.

Lấy Gemini làm ví dụ, năm 2024 khi Google lần đầu thử thách tại IMO, họ chỉ đạt mức huy chương bạc với 28 điểm. Khi đó, hệ thống còn cần phải dịch đề bài ngôn ngữ tự nhiên sang các ngôn ngữ hình thức như Lean, một số câu hỏi thậm chí mất tới vài ngày để giải.

Năm sau đó, Gemini Deep Think đã trở lại và hoàn thành chứng minh bằng ngôn ngữ tự nhiên theo phương thức end-to-end, giải quyết 5 câu hỏi chỉ trong 4,5 giờ và giành huy chương vàng.

Đằng sau đó là một bước nhảy vọt về năng lực qua các thế hệ.

Nói sâu hơn, toán học chính là hòn đá thử vàng cho trí tuệ và khả năng suy luận của các mô hình ngôn ngữ lớn. Mô hình càng tiến xa trong các cuộc thi toán học như IMO, càng chứng minh được ưu thế nền tảng của nó.

Lấy thêm một ví dụ gần đây, ngay trong tuần này, Fable 5 đã tham gia xây dựng một phản ví dụ cho giả thuyết Jacobian.

Giả thuyết này đã tồn tại suốt 87 năm kể từ khi được đưa ra vào năm 1939, ngay cả những nhà toán học hàng đầu như Trương Ích Đường (Zhang Yitang) cũng từng thất bại trước nó.

Dù phản ví dụ tìm được lần này chưa qua bình duyệt chính thức, nhưng nó đánh dấu việc năng lực của các mô hình ngôn ngữ lớn hiện nay đã đủ để tham gia vào những khám phá toán học thực thụ.

Và các cuộc thi toán học chính là ngưỡng cửa năng lực khó nhằn nhất trước khi các mô hình bước vào vùng nước sâu của nghiên cứu khoa học.

Ngoài ra, IMO còn có một ưu thế độc nhất vô nhị so với các Benchmark — đó là sự "ẩn số".

Đề thi mỗi kỳ đều do các chuyên gia biên soạn và được giữ bí mật nghiêm ngặt trước khi cuộc thi chính thức diễn ra.

Nghĩa là, mô hình không thể có được đề bài trước, việc tham gia trực tiếp vào kỳ thi cùng thời điểm cũng đảm bảo rằng mô hình không thể được huấn luyện có mục tiêu từ trước.

Một nhà nghiên cứu mô hình hàng đầu đã đưa ra nhận định như sau:

Trong việc huấn luyện mô hình ngày nay, bạn gần như có thể coi rằng, một khi dữ liệu nào đó xuất hiện trên Internet, nó sẽ sớm được mô hình lấy đi để huấn luyện, và mô hình sẽ biết về nó.