Anthropic آخرین قضیه فرما را بدون استفاده از Claude "رسمی" می کند - اما نوشتن آن هنوز 11 روز طول کشید.

Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out

Anthropic says Claude formalized Andrew Wiles’ proof of Fermat’s Last Theorem in 11 days, producing 13 million lines of Lean code.