Sáu bài toán. Một hành trình Human × AI có thể kiểm chứng.
Một hồ sơ mở về cách con người và AI cùng đọc, thử, sai, sửa và kiểm chứng trọn bộ sáu bài toán IMO 2026.
IMO không chỉ kiểm tra việc tìm ra đáp án. Nó kiểm tra khả năng nhìn thấy cấu trúc, chọn đúng bổ đề và viết một chứng minh không có chỗ ẩn. HIVE-IMO X ghi lại toàn bộ quá trình - đọc mù, những hướng sai, phản ví dụ và proof candidate - cho đến kiểm chứng độc lập.
Đây không phải màn trình diễn “AI giải toán”. Đây là hồ sơ về cách con người giữ quyền phán đoán, AI mở rộng không gian tìm kiếm và verifier quyết định điều gì được phép gọi là đúng.
Sáu bài toán, hai ngày thi
IMO 2026 là kỳ thứ 67, tổ chức tại Thượng Hải 10–21/07/2026. Hai ngày thi là 15 và 16/07, mỗi ngày ba bài. Một bài chỉ được tính hoàn thành từ mức VERIFIED-INDEPENDENT trở lên.
Ba con số này khác nhau. Đã có sáu bản thảo lời giải hoàn chỉnh từ trước; chưa bản nào vượt audit độc lập theo pipeline công khai này.
Mỗi bài đi qua mười lăm bước
Quy trình tách rõ đọc, thử, kiểm và so sánh để không agent nào tự đề xuất rồi tự chấp nhận câu trả lời của mình.
Ba vai trò, cố ý tách rời
- Chọn hướng nghiên cứu
- Giữ trực giác và tiêu chuẩn tự nhiên của chứng minh
- Phê duyệt gate
- Kiểm soát claim
- Chịu trách nhiệm công bố
- Formalize đề
- Lập bản đồ định lý
- Thiết kế gate
- Phản biện proof
- Tìm giả định ẩn
- Phát hành verdict
- Triển khai search / verifier
- Chạy test và tìm phản ví dụ
- Tạo artifact
- Cập nhật website từ ledger đã duyệt
Chỉ mở khi cả sáu bài đạt tối thiểu VERIFIED-INDEPENDENT. Dự án sẽ không hiển thị “6/6 solved” trước thời điểm đó.