GermanyDas KI-Unternehmen Anthropic hat gemäß eigener Angaben eine vollständig computerverifizierte Version des Beweises für Fermat's letzten Satz veröffentlicht. Ein Schwarm von Claude-Agenten erstellte innerhalb von elf Tagen 13 Millionen Zeilen Code und 29.500 Zwischentheoreme im Beweissystem Lean. Obwohl Fermat's letzter Satz 1995 von Andrew Wiles bewiesen wurde, fehlte bislang eine formale Verifikation, die ein Computer Schritt für Schritt überprüfen könnte. Anthropic betont, dass dies eine Vereinfachung des ursprünglichen Beweises nach Darmon, Diamond und Taylor ist, wobei menschlicher Eingriff begrenzt blieb. Die Unabhängigkeit der Bewertung bleibt jedoch fragil.
Tendenz-Einschätzung (Mitte): Die Berichterstattung konzentriert sich auf faktenbasierte technische Details ohne politischen Kontext oder Werturteile. Es wird keine parteipolitische Ausrichtung oder ideologische Schlussfolgerung hervorgehoben.
