Die Künstliche Intelligenz dringt mit voller Wucht in die tiefe Mathematik ein!
Anthropic hat bekannt gegeben, dass die Claude-AI-Agenten in nur 11 Tagen die erste vollständig rechnerisch verifizierbare Formulierung eines Beweises für den letzten Satz von Fermat mit der Sprache Lean erstellt haben.
🤯 Das Projekt erzeugte rund 13 Millionen Zeilen Lean-Code und bewies über 30.000 Zwischenlehren, wobei etwa 29.500 davon im endgültigen Beweis verwendet wurden.
Das Spannende ist hier nicht nur die Lösung einer berühmten mathematischen Aufgabe, sondern dass die KI nun in der Lage ist, komplexe mathematische Beweise in eine Form umzuwandeln, die der Computer Schritt für Schritt nachprüfen kann.
Das könnte der Beginn einer neuen Ära sein: KI schreibt den Code nicht nur… sie hilft dabei, die Mathematik selbst zu verifizieren.
$VIRTUAL $RENDER $TAO
#AI #Anthropic #Technology #crypto
Anthropic hat bekannt gegeben, dass die Claude-AI-Agenten in nur 11 Tagen die erste vollständig rechnerisch verifizierbare Formulierung eines Beweises für den letzten Satz von Fermat mit der Sprache Lean erstellt haben.
🤯 Das Projekt erzeugte rund 13 Millionen Zeilen Lean-Code und bewies über 30.000 Zwischenlehren, wobei etwa 29.500 davon im endgültigen Beweis verwendet wurden.
Das Spannende ist hier nicht nur die Lösung einer berühmten mathematischen Aufgabe, sondern dass die KI nun in der Lage ist, komplexe mathematische Beweise in eine Form umzuwandeln, die der Computer Schritt für Schritt nachprüfen kann.
Das könnte der Beginn einer neuen Ära sein: KI schreibt den Code nicht nur… sie hilft dabei, die Mathematik selbst zu verifizieren.
$VIRTUAL $RENDER $TAO
#AI #Anthropic #Technology #crypto
