Zurück zur Übersicht
Ein unveröffentlichtes Forschungsmodell von Anthropic hat bei einem verwandten Problem zur Riemann-Hypothese eine bekannte Untergrenze von 41,6 auf 67,2 Prozent erhöht. Die ungelöste Riemann-Hypothese selbst bleibt damit unbewiesen.
Anthropic zufolge entstand das Ergebnis in zwei Sitzungen mit Claude Code. Das Modell prüfte 650 Ansätze, koordinierte rund 60 Unteragenten und erzeugte insgesamt 31 Millionen Ausgabetoken.
Zwei Mathematiker von Anthropic prüften die Arbeit. Zusätzlich wurde das Ergebnis mit dem Beweisassistenten Lean formalisiert.
Der Fortschritt liegt damit nicht in einer Lösung der Riemann-Hypothese, sondern in der Verbesserung eines verwandten mathematischen Ergebnisses. Anthropic betont, dass die eingesetzten Techniken voraussichtlich nicht zur Lösung der Hypothese führen.
Der Kommentarbereich wird geladen, sobald du ihn erreichst.
Weiterlesen
Das KI-Modell erzeugte laut Anthropic in elf Tagen einen vollständigen, computergeprüften Beweis des berühmten mathematischen Satzes. Der Fortschritt liegt nicht in einer neuen Lösung, sondern in der präzisen Formalisierung eines bestehenden Beweises.
Anthropic trennt die Nutzung von Claude Code über Drittanbieter-Harnesses wie OpenClaw von den regulären Abos. Für diese Zugriffe soll künftig ein separates Pay-as-you-go-Modell gelten.
In einem Vergleich von zehn KI Assistenten erreichte GPT-5.5 Thinking die höchste Gesamtpunktzahl. Claude Sonnet 4.6 sagte dafür die meisten Gruppenspiele korrekt voraus.
Der frühere Anthropic- und OpenAI-Mitarbeiter Jacob Coxon zieht sich aus der KI-Branche zurück. Er wirft beiden Unternehmen vor, die Entwicklung selbstverbessernder Systeme mit unvertretbaren Risiken voranzutreiben.