Skip to content
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.