Claude liefert erste computergeprüfte Formalisierung von Fermats letztem Satz

IMPERIAL COLLEGE LONDON / LONDON (IT BOLTWISE) – Eine KI-basierte Formalisierung hat Fermats letzten Satz (FLT) erstmals durch einen vollständig computergeprüften Beweis in Lean umgesetzt. Claude arbeitete weitgehend autonom über 11 Tage und erzeugte ein durch Lean verifizierbares Artefakt. Der Weg umfasste 13 Millionen Zeilen Lean-Code und 29.500... Weiterlesen