Wissenschaft & Gesundheit

KI formalisiert Fermats großen Satz in nur elf Tagen

Mo. 7 Sep 2026 - 14:01

Ein KI-Modell hat die Formalisierung von Fermats großem Satz in einem Beweisprüfsystem in nur elf Tagen abgeschlossen – eine Leistung, die Experten auf fünf Jahre und eine Million Pfund Aufwand geschätzt hatten. Dieser Durchbruch zeigt, dass künstliche Intelligenz komplexe mathematische Aufgaben eigenständig bewältigen kann. Für die Wissenschaft und Forschung eröffnet dies neue Möglichkeiten, mathematische Beweise schneller und zuverlässiger zu entwickeln und zu überprüfen.

Der Einsatz von KI zur Verifikation mathematischer Beweise stärkt die Verlässlichkeit wissenschaftlicher Erkenntnisse und senkt Hürden für zukünftige Forschung. Wenn Beweise maschinell geprüft und formalisiert werden können, wird wissenschaftliche Transparenz und Nachvollziehbarkeit für die gesamte Gesellschaft erhöht. Das Vertrauen in mathematisch fundierte Technologien – von Kryptographie bis Infrastruktur – kann dadurch langfristig gestärkt werden.

Dieser Durchbruch markiert einen Wendepunkt im Verhältnis zwischen KI und formaler Mathematik: Was bislang menschliche Expertenarbeit über Jahre erforderte, wird nun in Tagen automatisierbar. Für Universitäten und Forschungseinrichtungen – auch in Mecklenburg-Vorpommern – eröffnet das neue Möglichkeiten in der mathematischen Grundlagenforschung und der KI-gestützten Wissenschaft. Die Frage, welche weiteren komplexen Beweise als nächstes formalisiert werden, steht nun offen.