Claude formalized Fermat's Last Theorem in 11 days (anthropic.com)

1 points by fourfire 6d ago ↗ HN

1 comment

[ 0.21 ms ] story [ 20.9 ms ] thread

ChrisArchitect 6d ago ↗

Discussion: https://news.ycombinator.com/item?id=49568506