- OpenAI có công bố một lời giải khác cho Bài toán Thiên niên kỷ trước 31 tháng 12, 2026 không?14¢14%
- OpenAI có công bố một lời giải khác cho Bài toán Thiên niên kỷ trước 31 tháng 12, 2027 không?56¢56%
OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes Millennium Prize Problem—produced via an internal frontier model and roughly 10,000 agents in 88 hours—has sharply raised trader expectations for further announcements. The company followed with an October 6 release of 722 manuscripts covering hundreds of open problems, including claimed progress toward other Millennium Prize challenges such as aspects of the Riemann hypothesis and Hodge conjecture, though several papers faced withdrawals or revisions after mathematician review. Competitive pressure from labs like Anthropic, combined with OpenAI’s emphasis on Lean formalizations and compute-intensive agent swarms, underscores accelerating capabilities in mathematical reasoning. Key near-term catalysts include ongoing independent verifications, potential additional model releases, and any follow-up company statements on unresolved problems before year-end deadlines.
Quy tắc
Thị trường này sẽ được phân định là "Có" 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 bất kỳ Bài toán Giải thưởng Thiên niên kỷ nào đủ điều kiện trong khoảng thời gian từ lúc tạo thị trường đến ngày được chỉ định, 23:59 ET. 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 OpenAI, các nhà nghiên cứu của OpenAI hoặc các mô hình của OpenAI, dù là thành quả riêng 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 OpenAI, 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 chính để phân định thị trường này sẽ là thông tin chính thức từ OpenAI và/hoặc các đại diện chính thức của OpenAI; tuy nhiên, cũng có thể sử dụng sự đồng thuận từ các bài đưa tin đáng tin cậy.
Bản dịch máy. Khi có tranh chấp, bản gốc được ưu tiên.