AISiliconANGLEabout 1 hour ago
Anthropic uses Claude to formalize Fermat proof
1 min read
Anthropic PBC used Claude to create a computer-verifiable version of a proof for Fermat's Last Theorem. The company detailed the project in a blog post published today.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyAnthropic
