Unveröffentlichtes Anthropic-Modell treibt Forschung zur Riemann-Vermutung voran

31 Millionen Token für einen einzigen Beweis

Während eines Tests eines unveröffentlichten Modells von Anthropic gab ein Entwickler ohne tiefen mathematischen Hintergrund dem Modell die Aufgabe, den Beweis der Riemann-Vermutung (eines der ältesten und komplexesten Probleme der Mathematik, das mit einem Preisgeld von 1.000.000 USD dotiert ist) zu versuchen. Das Modell arbeitete anderthalb Tage lang und koordinierte ein Netzwerk von 60 Subagenten.

In dieser Zeit testete es 650 verschiedene mathematische Konzepte. Von den 60 Agenten entwickelten zwei die Hauptideen, 13 versorgten sie mit unterstützenden Materialien, 30 versuchten erfolglos, neue Wege zu finden, 13 fungierten als Validatoren und die letzten beiden schrieben das wissenschaftliche Papier selbst. Das Ergebnis wurde anschließend im Lean-System formalisiert und von den internen Mathematikern von Anthropic bestätigt.

Von zufälligen Versuchen zu einem organisierten Netzwerk

Die wissenschaftliche Forschung geht von einer Phase, in der das Modell als clevere Suchmaschine funktionierte, in eine Phase eines koordinierten Labors über. Anthropic verwendete nicht ein einziges großes Modell, sondern ließ es eine ganze Struktur von spezialisierten Arbeitern generieren und verwalten.

Für Forschungseinrichtungen und Unternehmen ändert dies die Perspektive darauf, wie viele Ressourcen für wissenschaftliche Projekte benötigt werden. Anstelle von teuren Jahren der Forschung und Hunderten von Stunden menschlicher Arbeitszeit zahlen Sie einfach die Rechnung für 31.000.000 Output-Token und lassen den Prozess über das Wochenende laufen.

Die Grenze zwischen Entdeckung und Verifikation

Während das Modell die untere Schranke, für die die Riemann-Vermutung gilt, verschoben hat, hat es sie noch nicht global gelöst. Die Rechenleistung von Agenten stößt in dem Moment an ihre Grenzen, in dem ein völlig neuer, bisher unbeschriebener theoretischer Rahmen erforderlich ist und nicht nur die Kombination bestehender Methoden.

Die tatsächliche Integration von Lean wird die wahre Kraft zeigen

Der entscheidende Faktor wird sein, wie die breitere mathematische Gemeinschaft auf diese Beweise reagiert. Wenn akademische Zeitschriften mit Papieren überflutet werden, die von Agenten geschrieben und über Lean formalisiert wurden, wird eine Debatte darüber entstehen, was die Urheberschaft einer wissenschaftlichen Entdeckung eigentlich bedeutet.

Liliths Urteil

Die Wissenschaft wandelt sich von einem brillanten Geistesblitz im Kopf eines einzelnen Mathematikers zu einer Cloud-Rechnung. Wer das größere Budget für Token hat, wird die Grenzen von Hypothesen verschieben.