OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes Millennium Prize Problem—produced via an internal frontier model and roughly 10,000 agents in 88 hours—has sharply raised trader expectations for further announcements. The company followed with an October 6 release of 722 manuscripts covering hundreds of open problems, including claimed progress toward other Millennium Prize challenges such as aspects of the Riemann hypothesis and Hodge conjecture, though several papers faced withdrawals or revisions after mathematician review. Competitive pressure from labs like Anthropic, combined with OpenAI’s emphasis on Lean formalizations and compute-intensive agent swarms, underscores accelerating capabilities in mathematical reasoning. Key near-term catalysts include ongoing independent verifications, potential additional model releases, and any follow-up company statements on unresolved problems before year-end deadlines.
Dieser Markt wird mit „Ja“ aufgelöst, wenn OpenAI oder ein offizieller Vertreter von OpenAI bekannt gibt, dass OpenAI zwischen der Erstellung des Marktes und dem angegebenen Datum, 23:59 ET, eines der infrage kommenden 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 Bekanntgabe muss die Lösung als Arbeit von OpenAI, dessen Forschern oder dessen Modellen dargestellt werden, entweder allein oder gemeinsam mit externen Forschern. Eine Bekanntgabe, die lediglich externen Forschern Anerkennung ausspricht oder gratuliert, darunter Forschern, die OpenAI-Modelle, Rechenleistung oder Forschungsguthaben genutzt haben, gilt nicht als ausreichend. Eine weitere Bestätigung durch das Clay Mathematics Institute oder eine andere Organisation ist nicht erforderlich. Die primäre Quelle für die Auflösung dieses Marktes sind offizielle Informationen von OpenAI und/oder dessen offiziellen Vertretern; es kann jedoch auch ein Konsens glaubwürdiger Berichterstattung herangezogen werden.
Maschinelle Übersetzung. Im Streitfall gilt das Original.