KI schreibt Mathegeschichte: Anthropic prüft erstmals Fermats letzten Satz vollständig maschinell

Anthropic hat mithilfe von KI erstmals Fermats letzten Satz vollständig maschinell überprüfen lassen. Dieser Durchbruch in der mathematischen Beweisführung durch künstliche Intelligenz zeigt das Potenzial von KI für komplexe wissenschaftliche Probleme und könnte neue Wege für Forschung und Entwicklung eröffnen.