Claude used to formalize Fermat’s Last Theorem proof, SiliconANGLE reports
SiliconANGLE says Anthropic used Claude to formalize a proof of the theorem.
TLDR
In reporting shared September 5, SiliconANGLE says Anthropic used Claude to formalize a proof of Fermat’s Last Theorem.
Combined views
321
1 Source, first seen 26d ago