- Anthropic có công bố lời giải cho một bài toán Thiên niên kỷ trước 31 tháng 12, 2026 không?10¢10%
- Anthropic có công bố lời giải cho một bài toán Thiên niên kỷ trước 31 tháng 12, 2027 không?28¢28%
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
Quy tắc
Thị trường này sẽ được phân xử là "Có" 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 bất kỳ Bài toán Thiên niên kỷ nào đủ điều kiện 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. Thông báo phải trình bày lời giải là thành quả của Anthropic, các nhà nghiên cứu của Anthropic hoặc các mô hình của Anthropic, dù làm việc độc lập hay cùng 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 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 Anthropic, 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ừ Anthropic và/hoặc các đại diện chính thức của Anthropic; 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.