Claude von Anthropic arbeitete über 11 Tage weitgehend autonom daran…

…den Beweis des letzten Satzes von Fermat in der Programmiersprache Lean zu formalisieren, was einen bedeutenden Meilenstein in der KI-unterstützten mathematischen Forschung darstellt.

KI-generiert: Die Zusammenfassungen schreibt eine KI auf Grundlage der verlinkten Quellen. So nutzen wir KI