AI Lab kündigt eine weitere Millennium-Preis-Lösung an von...?

Dieser Markt wird mit „Ja“ aufgelöst, wenn ein teilnahmeberechtigtes KI-Labor oder ein offizieller Vertreter eines teilnahmeberechtigten KI-Labors bis 23:59 Uhr ET des im Titel angegebenen Datums bekannt gibt, dass das Labor eines der qualifizierenden Millennium-Preis-Probleme gelöst hat. Andernfalls wird dieser Markt auf „Nein“ aufgelöst.

Die qualifizierenden Probleme sind die Riemann-Hypothese, P versus NP, das Existenz- und Massenlückenproblem von Yang-Mills, die Hodge-Vermutung und die Birch- und Swinnerton-Dyer-Vermutung (https://www.claymath.org/millennium-problems/). Ankündigungen zum Problem der Existenz und Glätte von Navier-Stokes sind nicht zulässig.

Eine qualifizierende Ankündigung muss zum Ausdruck bringen, dass das Problem gelöst wurde; Ankündigungen von Teilergebnissen oder Fortschritten auf dem Weg zu einer Lösung sind nicht zulässig. In der Ankündigung muss die Lösung als die Arbeit des Labors, seiner Forscher oder seiner Modelle, allein oder gemeinsam mit externen Forschern, dargestellt werden. Eine Ankündigung, in der nur externe Forscher gewürdigt oder beglückwünscht werden, einschließlich Forschern, die die Modelle, Berechnungen oder Forschungsgutschriften des Labors verwendet haben, ist nicht qualifiziert. Es ist keine weitere Bestätigung des Clay Math Institute oder einer anderen Organisation erforderlich.

Die teilnahmeberechtigten 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 in der MMLU-pro-Rangliste (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) aufgeführt ist. Ankündigungen anderer Unternehmen, Organisationen oder Einzelpersonen sind nicht qualifiziert.

Die primäre Lösungsquelle für diesen Markt sind offizielle Informationen der berechtigten KI-Labore und/oder ihrer offiziellen Vertreter; Es kann jedoch auch ein Konsens über eine glaubwürdige Berichterstattung verwendet werden.