- Wird Hodge Conjecture das nächste Millennium-Problem sein, das von einer KI gelöst wird?37¢37 %
- Wird bis 31. Dezember 2027 kein Millennium-Problem von einer KI gelöst?35¢35 %
- Wird die Birch and Swinnerton-Dyer-Vermutung das nächste Millennium-Problem sein, das von einer KI gelöst wird?17¢17 %
- Wird das Existenz- und Masselückenproblem von Yang-Mills das nächste Millennium-Problem sein, das von einer KI gelöst wird?10¢10 %
- Wird P versus NP das nächste Millennium-Problem sein, das von einer KI gelöst wird?2¢2 %
- Wird Riemann Hypothesis das nächste Millennium-Problem sein, das von einer KI gelöst wird?2¢2 %
Recent OpenAI advances, including its September 2026 Navier-Stokes resolution via 10,000 AI agents and October release of hundreds of model-generated proofs, have elevated the Hodge Conjecture and Birch and Swinnerton-Dyer as leading contenders in trader consensus. These partial results on algebraic geometry and elliptic curves demonstrate rapid gains in large language model reasoning and multi-agent proof search, yet full verification in Lean and community acceptance remain uncertain amid ongoing scrutiny. This dynamic keeps the no-solution-by-end-2027 outcome closely competitive at 34.5 percent, with P versus NP and Riemann Hypothesis trailing due to greater perceived complexity. Upcoming catalysts include further formalizations and Clay Institute reviews that could shift market-implied odds.
Regeln
Dieser Markt wird anhand des ersten Millennium-Problems entschieden, für das ein berechtigtes KI-Labor bis zum 31. Dezember 2027, 23:59 ET eine Lösung bekannt gibt. Gibt kein berechtigtes KI-Labor bis zum 31. Dezember 2027, 23:59 ET eine Lösung für ein qualifizierendes Problem bekannt, wird dieser Markt mit „Keine Lösung bis zum 31. Dezember 2027“ entschieden. Werden Lösungen für zwei oder mehr qualifizierende Probleme am selben Kalendertag (Eastern Time, ET) bekannt gegeben, wird dieser Markt zugunsten des Problems entschieden, dessen Name in der nachstehenden Liste alphabetisch an erster Stelle steht. Die qualifizierenden Probleme sind in alphabetischer Reihenfolge die Birch-Swinnerton-Dyer-Vermutung, die Hodge Conjecture, P versus NP, die Riemannsche Vermutung und das Yang-Mills-Existenz- und Masselückenproblem (https://www.claymath.org/millennium-problems/). Ankündigungen zum Navier-Stokes-Existenz- und Glattheitsproblem gelten nicht als qualifizierend. Eine Bekanntgabe, die die Kriterien erfüllt, muss von einem zugelassenen KI-Labor oder einem offiziellen Vertreter des Labors gemacht werden und ausdrücken, dass das Problem gelöst wurde; Bekanntgaben von Teilergebnissen oder Fortschritten auf dem Weg zu einer Lösung erfüllen die Kriterien nicht. In der Ankündigung muss die Lösung als Arbeit des Labors, seiner Forschenden oder seiner Modelle dargestellt werden, entweder allein oder gemeinsam mit externen Forschenden. Eine Ankündigung, die externen Forschenden lediglich Anerkennung ausspricht oder gratuliert – einschließlich Forschenden, die Modelle, Rechenleistung oder Forschungsguthaben des Labors genutzt haben –, gilt nicht als qualifizierend. Eine weitere Bestätigung durch das Clay Mathematics Institute oder eine andere Organisation ist nicht erforderlich. Zu den zugelassenen KI-Laboren gehören 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 und 01.AI, einschließlich ihrer Tochtergesellschaften und Forschungsabteilungen, sowie jedes andere Unternehmen, dessen Modell zum Zeitpunkt der Ankündigung auf der MMLU-pro-Bestenliste (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) aufgeführt ist. Ankündigungen anderer Unternehmen, Organisationen oder Einzelpersonen gelten nicht als qualifizierend. Die primäre Quelle für die Auflösung dieses Marktes sind offizielle Informationen der zugelassenen KI-Labore und/oder ihrer offiziellen Vertreter; es kann jedoch auch ein Konsens glaubwürdiger Berichterstattung herangezogen werden.
Maschinelle Übersetzung. Im Streitfall gilt das Original.