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.
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.
