GermanyDas KI-Unternehmen Anthropic hat gemäß eigener Angaben eine vollständig computerverifizierte Version des Beweises für Fermats 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 Fermats 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 fraglich.
Bias read (Center): Die Berichterstattung konzentriert sich auf faktenbasierte technische Details ohne politischen Kontext oder Werturteile. Es wird keine parteipolitische Ausrichtung oder ideologischer Schlussfolgerung hervorgehoben. Die Darstellung bleibt objektiv und berichtet neutral über einen wissenschaftlichen V
