Newsparadies: 13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz

News => Welt-Ticker => Thema gestartet von: heise am 06.09.2026, 23:18:46


Titel: 13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz
Beitrag von: heise am 06.09.2026, 23:18:46
(http://newsparadies.de/images/board/x31.gif) Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt ' erstellt von Claude-Agenten.
Quelle: https://www.heise.de/news/Fermats-letzter-Satz-KI-liefert-maschinell-geprueften-Beweis-11442958.html?wt_mc=rss.red.ho.ho.rdf.beitrag.beitrag 		(http://www.netzausfall.de/wp-content/heise.jpg)

Stichworte: Anthropic, Claude, Fermats letzter Satz, Künstliche Intelligenz, Lean, Mathematik, Wissenschaft


Newsparadies | Impressum | Datenschutz | Powered by SMF 1.0.7.
© 2001-2005, Lewis Media. Alle Rechte vorbehalten.