Claude formalized Fermat's Last Theorem in 11 days anthropic.com 2 points by fourfire 4 days ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread ChrisArchitect 4 days ago Discussion: https://news.ycombinator.com/item?id=49568506