Article URL: https://www.anthropic.com/research/formalizing-fermats-last-theoremComments URL: https://news.ycombinator.com/item?id=49568506Points: 83# Comments: 27