- Wird Anthropic bis zum 31. Dezember 2026 eine Lösung für das Millennium Prize Problem bekannt geben?10¢10 %
- Wird Anthropic bis zum 31. Dezember 2027 eine Lösung für das Millennium Prize Problem bekannt geben?28¢28 %
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
Regeln
Dieser Markt wird mit „Ja“ aufgelöst, wenn Anthropic oder ein offizieller Vertreter von Anthropic bis 23:59 ET des im Titel angegebenen Datums bekannt gibt, dass Anthropic 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. Die Bekanntgabe muss die Lösung als Arbeit von Anthropic, seinen Forschenden oder seinen Modellen darstellen, entweder allein oder gemeinsam mit externen Forschenden. Eine Bekanntgabe, die lediglich externen Forschenden Anerkennung ausspricht oder ihnen gratuliert, darunter Forschenden, die Anthropic-Modelle, Rechenleistung oder Forschungsguthaben verwendet haben, ist nicht qualifizierend. 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 Anthropic und/oder seinen offiziellen Vertretern; es kann jedoch auch ein Konsens glaubwürdiger Berichterstattung herangezogen werden.
Maschinelle Übersetzung. Im Streitfall gilt das Original.