AI lab announces another Millennium Prize solution by...?
Betrag
Kaufen
The contract asks “KI-Labor kündigt eine weitere Millennium-Preis-Lösung an bis?”
The listed outcomes are 30. September 2026, 31. Dezember 2027, and 31. Dezember 2026.
The winning outcome is determined using the exact criteria in the Resolution Rules below.
Dieser Markt wird zu "Ja" aufgelöst, wenn ein berechtigtes KI-Labor oder ein offizieller Vertreter eines berechtigten KI-Labors ankündigt, dass das Labor eines der qualifizierenden Millennium-Preis-Probleme bis 23:59 Uhr ET des im Titel angegebenen Datums gelöst hat. Andernfalls wird dieser Markt zu "Nein" aufgelöst.
Die qualifizierenden Probleme sind die Riemann-Hypothese, P versus NP, das Yang-Mills-Existenz- und Massenlückenproblem, die Hodge-Vermutung und die Birch- und Swinnerton-Dyer-Vermutung (https://www.claymath.org/millennium-problems/). Ankündigungen bezüglich des Navier-Stokes-Existenz- und Glattheitsproblems qualifizieren nicht.
Eine qualifizierende Ankündigung muss ausdrücken, dass das Problem gelöst wurde; Ankündigungen von Teilergebnissen oder Fortschritten in Richtung einer Lösung qualifizieren nicht. Die Ankündigung muss die Lösung als Arbeit des Labors, seiner Forscher oder seiner Modelle darstellen, allein oder gemeinsam mit externen Forschern. Eine Ankündigung, die nur externe Forscher würdigt oder beglückwünscht, einschließlich Forschern, die die Modelle, Rechenleistung oder Forschungsgutschriften des Labors genutzt haben, qualifiziert nicht. Keine weitere Bestätigung vom Clay Math Institute oder einer anderen Organisation ist erforderlich.
Die berechtigten KI-Labore sind 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, zusammen mit ihren Tochtergesellschaften und Forschungsabteilungen, und jedes andere Unternehmen mit einem Modell, das zum Zeitpunkt der Ankündigung auf dem MMLU-pro-Leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) gelistet ist. Ankündigungen von jedem anderen Unternehmen, Organisation oder Individuum qualifizieren nicht.