ki
KI verifiziert berühmten Mathematik-Beweis
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Version von Fermats letztem Satz vorgelegt. Der Beweis umfasst rund 13 Millionen Zeilen Programmcode.
- Anthropics Claude-Agenten haben den mathematischen Beweis vollständig maschinell erstellt und verifiziert
- Fermats letzter Satz wurde bereits 1994 von Andrew Wiles bewiesen, liegt nun aber in computergeprüfter Form vor
- Die automatisierte Verifikation soll mathematische Fehler in Beweisen ausschließen können
Fermats letzter Theorem stammt aus dem 17. Jahrhundert und galt lange als ungelöst. Der nun vorgelegte computerverifizierte Beweis zeigt, welche Rolle KI in der mathematischen Forschung spielen kann. Es handelt sich um das erste Projekt dieser Art bei einem so bedeutenden mathematischen Problem.