Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
Read the full article at the source.
crypto
from Decrypt
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Jose Antonio Lanz
12 hours ago
4 Views
0 Comments
Join the discussion — comment, vote, and submit links.
Register
Comments (0)
No comments yet. Be the first to comment!