Anthropic veröffentlicht ein Paper mit dem Anspruch eines subexponentiellen 3-SAT-Algorithmus samt Lean-4-Formalisierung
Stimmt das Ergebnis, wäre die Exponentialzeit-Hypothese widerlegt; die Axiome des Beweises sind im Repository dokumentiert, eine unabhängige Prüfung ist nicht veröffentlicht.