Quy tắc

Thị trường này sẽ được phân định theo Bài toán Thiên niên kỷ đủ điều kiện đầu tiên 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, 2027, 23:59 ET. Nếu không có phòng thí nghiệm AI đủ điều kiện nào công bố lời giải cho một bài toán đủ điều kiện trước 31 tháng 12, 2027, 23:59 ET, thị trường này sẽ được phân định là "Không có lời giải trước 31 tháng 12, 2027". Nếu lời giải cho hai bài toán đủ điều kiện trở lên được công bố trong cùng một ngày dương lịch (ET), thị trường này sẽ được phân định theo bài toán có tên, như được liệt kê bên dưới, đứng trước theo thứ tự bảng chữ cái. 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, Hodge Conjecture, 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.