- OpenAI 會在 2026年12月31日 前宣布另一項千禧年大獎問題的解答嗎？14¢14%
- OpenAI 會在 2027年12月31日 前宣布另一項千禧年大獎問題的解答嗎？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.
規則
如果 OpenAI 或 OpenAI 的官方代表在市場建立至指定日期 下午11:59 ET 之間宣布 OpenAI 已解決任何符合資格的千禧年大獎難題，本市場將判定為「是」。否則，此市場將以「否」結算。 符合資格的問題包括黎曼猜想、P 對 NP 問題、楊–米爾斯存在性與質量間隙問題、霍奇猜想，以及 Birch–Swinnerton-Dyer 猜想（https://www.claymath.org/millennium-problems/）。關於 Navier–Stokes 存在性與光滑性問題的公告不符合資格。 符合資格的公告必須明確表示該問題已獲解決；僅公布部分結果或解題進展的公告不符合資格。公告必須將解答表述為 OpenAI、其研究人員或其模型的成果，無論是單獨完成，還是與外部研究人員共同完成。如果公告只是將功勞歸於或向外部研究人員致賀，包括使用過 OpenAI 模型、運算資源或研究點數的研究人員，則不符合資格。無須 Clay Mathematics Institute 或任何其他組織進一步確認。 本市場判定的主要依據將是 OpenAI 和／或其官方代表發布的官方資訊；但也可以採用可信報導所形成的共識。
機器翻譯。如有爭議，以原文為準。