Anthropics unveröffentlichtes Modell erzielt Fortschritte bei einem zentralen mathematischen Problem

Die Riemann-Hypothese, eines der berühmtesten ungelösten Probleme der Mathematik über die Verteilung der Primzahlen, ist seit über 150 Jahren ungelöst, und für einen Beweis wird ein Preis von einer Million Dollar ausgesetzt. Anthropic hat bekannt gegeben, dass ein unveröffentlichtes Modell bemerkenswerte Fortschritte erzielt hat, indem es die untere Schranke für Lösungen, für die die Hypothese als gültig bekannt ist, deutlich angehoben hat. Ein Mitarbeiter mit begrenztem mathematischem Hintergrund schlug vor, dass das Modell das Problem lösen solle, und überließ es dann der Koordination der Aufgabe für den nächsten eineinhalb Tage. In dieser Zeit versuchte das Modell 650 Lösungswege, koordinierte 60 Unteragenten und verbrauchte 31 Millionen Ausgabetoken. Unter den Unteragenten entwickelten 2 Hauptlösungen in Mathematik, 13 generierten neue Varianten für diese Agenten, 30 versuchten, aber scheiterten daran, neue Ideen zu produzieren, 13 dienten als Validatoren und 2 halfen beim Schreiben des ersten Papers. Das Ergebnis wurde von zwei Mathematikern des Stabs verifiziert und im Beweisassistenten Lean formalisiert. In den letzten Jahren haben KI-Modelle mehrere Probleme von Pál Erdős gelöst, wobei das OpenAI-Modell Astra zehn löste und ein anderes Anthropic-Modell eine langjährige Jacobian-Hypothese widerlegte. Diese Errungenschaften lösen in der Mathematikgemeinschaft sowohl Begeisterung als auch Besorgnis aus, insbesondere hinsichtlich Autorenschaft und Verantwortung für die Korrektheit, wobei einige argumentieren, dass Theoreme nicht mit bestimmten Forschern assoziiert werden müssen.