Quy tắc

Thị trường này sẽ được phân xử dựa trên số lượng các Bài toán Thiên niên kỷ đủ điều kiện riêng biệt mà một phòng thí nghiệm AI đủ điều kiện công bố lời giải trước 31 tháng 12, 2026, 23:59 ET. Mỗi bài toán đủ điều kiện chỉ được tính một lần, bất kể có bao nhiêu phòng thí nghiệm AI đủ điều kiện công bố lời giải cho bài toán đó hoặc có bao nhiêu thông báo được đưa ra. Các bài toán đủ điều kiện, theo thứ tự bảng chữ cái, là Giả thuyết Birch và Swinnerton-Dyer, Giả thuyết Hodge, P so với NP, Giả thuyết Riemann và bài toán tồn tại Yang-Mills cùng khoảng trống khối lượng (https://www.claymath.org/millennium-problems/). Các tuyên bố liên quan đến bài toán về sự tồn tại và tính trơn của Navier-Stokes sẽ không đủ điều kiện. Thông báo đủ điều kiện phải do một phòng thí nghiệm AI đủ điều kiện hoặc đại diện chính thức của phòng thí nghiệm đó đưa ra, đồng thời phải khẳng định rằng bài toán đã được giải; thông báo về kết quả một phần hoặc tiến triển hướng tới lời giải sẽ không đủ điều kiện. Tuyên bố phải trình bày lời giải là thành quả của phòng thí nghiệm, các nhà nghiên cứu hoặc mô hình của phòng thí nghiệm, dù thực hiện độc lập hay phối hợp với các nhà nghiên cứu bên ngoài. Tuyên bố chỉ ghi nhận công lao hoặc chúc mừng các nhà nghiên cứu bên ngoài sẽ không đủ điều kiện, bao gồm cả những nhà nghiên cứu đã sử dụng mô hình, năng lực tính toán hoặc tín dụng nghiên cứu của phòng thí nghiệm. Không cần thêm xác nhận từ Clay Math Institute hay bất kỳ tổ chức nào khác. Các phòng thí nghiệm AI đủ điều kiện gồm Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan và 01.AI, cùng các công ty con và bộ phận nghiên cứu của họ; ngoài ra, bất kỳ công ty nào khác có mô hình được liệt kê trên bảng xếp hạng MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) tại thời điểm tuyên bố cũng đủ điều kiện. Tuyên bố của bất kỳ công ty, tổ chức hoặc cá nhân nào khác sẽ không đủ điều kiện. Nguồn phân xử chính cho thị trường này sẽ là thông tin chính thức từ các phòng thí nghiệm AI đủ điều kiện và/hoặc đại diện chính thức của họ; tuy nhiên, cũng có thể sử dụng sự đồng thuận từ các bản tin đáng tin cậy.

Bản dịch máy. Khi có tranh chấp, bản gốc được ưu tiên.