Claude formalized Fermat's Last Theorem in 11 days

2 points | by fourfire 10 hours ago

1 comments