Ganzzahlfaktorisierung als subexponentiell bewiesen, aufbauend auf Claudes Widerlegung der Exponential Time Hypothesis
Mathematiker auf X berichten von einer deterministischen, worst-case subexponentiellen Schranke für die Ganzzahlfaktorisierung, die eine KI-unterstützte (Claude) Widerlegung der ETH erweitert; die Lean-Formalisierung wurde geprüft, wobei Fehler im englischen Beweis festgestellt wurden.
KI-Durchbruch in Mathematik und Informatik
Seit 27.10.2026 · 4 Meldungen
Originalquelle: AlignedNews.