Quy tắc

Thị trường này sẽ được phân xử là "OpenAI" nếu OpenAI, hoặc đại diện chính thức của OpenAI, thông báo rằng OpenAI đã giải được một Bài toán Thiên niên kỷ đủ điều kiện trước khi Anthropic làm được điều đó và chậm nhất vào 31 tháng 12, 2027, 23:59 ET. Thị trường này sẽ được phân xử là "Anthropic" nếu Anthropic, hoặc đại diện chính thức của Anthropic, thông báo rằng Anthropic đã giải được một Bài toán Thiên niên kỷ đủ điều kiện trước khi OpenAI làm được điều đó và chậm nhất vào 31 tháng 12, 2027, 23:59 ET. Nếu không công ty nào đưa ra thông báo đủ điều kiện trước 31 tháng 12, 2027, 23:59 ET, hoặc nếu cả hai cùng đưa ra thông báo đủ điều kiện trong cùng một ngày dương lịch, thị trường này sẽ được phân xử theo tỷ lệ 50-50. Thông báo đủ điều kiện của bất kỳ công ty nào khác sẽ không kết thúc cuộc đua hoặc ảnh hưởng đến kết quả phân xử. Các bài toán đủ điều kiện gồm Giả thuyết Riemann, P so với NP, bài toán về sự tồn tại Yang-Mills và khoảng trống khối lượng, Giả thuyết Hodge, và Giả thuyết Birch và Swinnerton-Dyer (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. Tuyên bố đủ điều kiện phải nêu rõ rằng bài toán đã được giải; các tuyên bố 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. Thông báo phải trình bày lời giải là thành quả của công ty, các nhà nghiên cứu hoặc mô hình của công ty, 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. Thông báo chỉ ghi nhận công lao hoặc chúc mừng các nhà nghiên cứu bên ngoài, bao gồm cả những người đã 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 công ty, sẽ không đủ điều kiện. 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. Nguồn phân xử chính cho thị trường này sẽ là thông tin chính thức từ OpenAI và Anthropic 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.