Lean

Anthropic: KI-Modell Claude beweist Fermats letzten Satz

Anthropic gab am Donnerstag bekannt, dass sein KI-Modell Claude den ersten durchgängigen, computergestützten Beweis für den Großen Fermatschen Satz erbracht hat, eines der berühmtesten Probleme der Mathematik. Claude arbeitete über 11 Tage weitgehend autonom, schrieb den Beweis in der Programmiersprache…