Mô hình AI của Xiaohongshu đạt điểm tuyệt đối tại IMO, lời giải bài toán số 3 khiến các quán quân phải thán phục

< img id="wx_img" src="https://www.qbitai.com/wp-content/uploads/imgs/qbitai-logo-1.png" width="400" height="400">

22-07-2026 08:34:33 Nguồn: QbitAI (Liangziwei)

Mô hình ngôn ngữ lớn (LLM) của Trung Quốc lần đầu tiên đạt chứng nhận trình độ Huy chương Vàng chính thức tại IMO

Tác giả: Lộ Vũ, đưa tin từ Aofeisi

QbitAI | Tài khoản chính thức QbitAI

Hả? Xiaohongshu, bạn thực sự "âm thầm làm nên chuyện lớn" đấy!

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 năm nay đã đạt đến một tầm cao mới.

Kết quả là người đầu tiên giành được điểm tuyệt đối từ hội đồng chấm thi chính thức lại chính là Xiaohongshu???

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 cả 6 câu hỏi, xuất sắc 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?

Nói thế này cho dễ hiểu: đâ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 trình độ Huy chương Vàng chính thức của IMO, đồng thời cũng là mô hình thứ hai trên thế giới đạt được thành tích 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ó phải là Xiaohongshu mà tôi vẫn thường biết đến không?

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

Đào sâu hơn nữa, cách giải quyết vấn đề của mô hình dots-note-3.0 từ Xiaohongshu thực sự 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ỉ chính xác hoàn toàn mà ở một số câu hỏi, nó còn đề xuất những phương pháp giải sáng tạo và phi truyền thống.

Hình ảnh được tạo bởi AI

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

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 IMO, nó vẫn thuộc nhóm lời giải ngắn gọn và thanh thoá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 giải thông thường vốn đã rất khéo léo, nhưng dots đã trực tiếp đánh thẳng vào phần khó nhất và bản chất nhất của bài toán.

Theo anh, cách giải của dots rất súc tích, rõ ràng và đi thẳng vào bản chất vấn đề.

Sau khi xem xong, người ta sẽ thấy mọi bước đều diễn ra một cách hợp lý, nhưng khi thực sự đối mặt với đề bài, 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, tấm 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 cùng tìm hiểu xem IMO thực chất là gì và tại sao các đơn vị lại tranh nhau đưa mô hình của mình vào "phòng thi".

IMO còn được gọi là Kỳ thi Olympic Toán học Quốc tế, nơi quy 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 xuất thân từ IMO, đồ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 4,5 tiếng để hoàn thành 3 câu hỏi, tổng cộng 6 câu, bao phủ 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.

Tuy nhiên, 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 có logic hoàn chỉnh 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à thử thách cực kỳ khó khăn, nhưng cũng là cách thể hiện năng lực trực quan nhất.

Lấy Gemini làm ví dụ, năm 2024 khi Google lần đầu thử thách với IMO, họ chỉ giành được mức Huy chương Bạc với 28 điểm. Khi đó, hệ thống còn cần phải dịch các đề 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 tiếp theo, quay trở lại cuộc đua, Gemini Deep Think đã trực tiếp 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.