September 5, 2026 Fermats letzter Satz in 11 Tagen: Wie KI die mathematische Verifikation neu definiert KIMathematikAutomatisierung
