4 ms·Claude formalized Fermat's Last Theorem in 11 days2 points by fourfire 25d agoChrisArchitect 25d agoDiscussion: https://news.ycombinator.com/item?id=49568506 https://news.ycombinator.com/item?id=49568506