Regeln

Dieser Markt wird mit „Ja“ aufgelöst, wenn ein zugelassenes KI-Labor oder ein offizieller Vertreter eines zugelassenen KI-Labors bis 23:59 ET an dem im Titel angegebenen Datum bekannt gibt, dass das Labor eines der qualifizierenden Millennium-Probleme gelöst hat. Andernfalls wird dieser Markt mit „Nein“ aufgelöst. Zu den qualifizierenden Problemen gehören die Riemannsche Vermutung, 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 zum Navier-Stokes-Existenz- und Glattheitsproblem gelten nicht als qualifizierend. 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 gelten nicht als qualifizierend. 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.