AI lab announces another Millennium Prize solution by...?
Số tiền
Mua
The contract asks “Phòng thí nghiệm AI công bố giải pháp Giải thưởng Thiên niên kỷ khác vào?”
The listed outcomes are 30 tháng 9, 2026, 31 tháng 12, 2027, and 31 tháng 12, 2026.
The winning outcome is determined using the exact criteria in the Resolution Rules below.
Thị trường này sẽ giải quyết thành "Có" nếu một phòng thí nghiệm AI đủ điều kiện, hoặc một đại diện chính thức của một phòng thí nghiệm AI đủ điều kiện, công bố rằng phòng thí nghiệm đã giải quyết bất kỳ Vấn đề Giải thưởng Thiên niên kỷ đủ điều kiện nào trước 23:59 ET của ngày được chỉ định trong tiêu đề. Nếu không, thị trường này sẽ giải quyết thành "Không".
Các vấn đề đủ điều kiện là Giả thuyết Riemann, P versus NP, vấn đề tồn tại và khoảng cách khối lượng Yang-Mills, Giả thuyết Hodge, và Giả thuyết Birch và Swinnerton-Dyer (https://www.claymath.org/millennium-problems/). Các công bố liên quan đến vấn đề tồn tại và độ mượt của Navier-Stokes sẽ không đủ điều kiện.
Một công bố đủ điều kiện phải thể hiện rằng vấn đề đã được giải quyết; các công bố về kết quả một phần hoặc tiến bộ hướng tới giải pháp sẽ không đủ điều kiện. Công bố phải trình bày giải pháp như công việc của phòng thí nghiệm, các nhà nghiên cứu của nó, hoặc các mô hình của nó, một mình hoặc cùng với các nhà nghiên cứu bên ngoài. Một công bố chỉ ghi nhận hoặc chúc mừng các nhà nghiên cứu bên ngoài, bao gồm các nhà nghiên cứu đã sử dụng mô hình, tính toán, hoặc tín dụng nghiên cứu của phòng thí nghiệm, sẽ không đủ điều kiện. Không cần xác nhận thêm từ Viện Toán Clay hoặc bất kỳ tổ chức nào khác.
Các phòng thí nghiệm AI đủ điều kiện là 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 với các công ty con và bộ phận nghiên cứu của chúng, và 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 công bố. Các công bố bởi 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.