Regeln

Dieser Markt wird entsprechend der Anzahl der verschiedenen Millennium-Probleme aufgelöst, die die Kriterien erfüllen und für die ein zugelassenes KI-Labor bis zum 31. Dezember 2026 um 23:59 ET eine Lösung bekannt gibt. Jedes Problem, das die Kriterien erfüllt, wird nur einmal gezählt, unabhängig davon, wie viele zugelassene KI-Labore eine Lösung dafür bekannt geben oder wie viele Bekanntgaben erfolgen. Die Probleme, die die Kriterien erfüllen, sind in alphabetischer Reihenfolge die Birch-und-Swinnerton-Dyer-Vermutung, die Hodge-Vermutung, P versus NP, die Riemannsche Vermutung und das Yang-Mills-Existenz- und-Massenlü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.