KI Intelligence04.09.2026Video
Artikel
Anthropics Claude arbeitete 11 Tage lang weitgehend autonom daran, den Beweis des letzten Satzes von Fermat in der...
Programmiersprache Lean zu formalisieren, was einen bedeutenden Meilenstein in der KI-gestützten mathematischen Forschung darstellt.
Data Cube AI RedaktionQuelle: AI Explained
01
Source Brief
Anthropics Claude arbeitete 11 Tage lang weitgehend autonom daran, den Beweis des letzten Satzes von Fermat in der Programmiersprache Lean zu formalisieren, was einen bedeutenden Meilenstein in der KI-gestützten mathematischen Forschung darstellt.
02