Unveröffentlichtes Anthropic-Modell erzielt Fortschritte bei der Riemannschen Vermutung

Anthropic hat bekannt gegeben, dass ein noch nicht veröffentlichtes Modell bedeutende Fortschritte bei der Riemannschen Vermutung erzielt hat, einem berühmten ungelösten Problem über Primzahlen, das seit über 150 Jahren besteht. Ein Mitarbeiter von Anthropic ohne nennenswerte mathematische Ausbildung forderte das Modell auf, einen Beweis zu versuchen, und überließ es dann der Aufgabe, die Aufgabe über eineinhalb Tage zu koordinieren. Das Modell testete 650 verschiedene Ideen, koordinierte sich über 60 Unteragenten und verbrachte insgesamt 31 Millionen Tokens. Zwei der Unteragenten entwickelten die entscheidenden mathematischen Ideen, während andere Ideen beisteuerten, versuchten und scheiterten, neue zu entwickeln, als Validatoren dienten oder beim Schreiben der Arbeit halfen. Zwei hauseigene Mathematiker von Anthropic bestätigten die Ergebnisse, und der Beweis wurde mit dem Open-Source-Beweisassistenten Lean formalisiert. Dies ist Teil einer Reihe von mathematischen Durchbrüchen durch große Sprachmodelle, darunter gelöste Erdős-Probleme und andere Ergebnisse von OpenAIs 'Astra'-Modell sowie die Widerlegung der Jacobi-Vermutung durch Anthropic. Die wachsende Zahl von Ergebnissen hat sowohl Begeisterung als auch Besorgnis ausgelöst, wobei einige Mathematiker sich über die Zuschreibung und Verantwortung für Beweise sorgen, während der Fields-Medaillengewinner Timothy Gowers vermutet, dass die Veränderung weniger problematisch sein könnte, als sie scheint.