- Một phòng thí nghiệm AI có công bố thêm một lời giải cho Bài toán Thiên niên kỷ trước 31 tháng 12, 2026 không?20¢20%
- Một phòng thí nghiệm AI có công bố thêm một lời giải cho Bài toán Thiên niên kỷ trước 31 tháng 12, 2027 không?64¢64%
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
Quy tắc
Thị trường này sẽ được phân xử là "Có" nếu một phòng thí nghiệm AI đủ điều kiện, hoặc đại diện chính thức của một phòng thí nghiệm AI đủ điều kiện, tuyên bố rằng phòng thí nghiệm đó đã giải được bất kỳ Bài toán Thiên niên kỷ đủ điều kiện nào trước 23:59 ET của ngày được nêu trong tiêu đề. Nếu không, thị trường này sẽ được phân xử là "Không". 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. 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.