Article URL: https://www.anthropic.com/research/formalizing-fermats-last-theorem
Comments URL: https://news.ycombinator.com/item?id=49568506
Points: 67
# Comments: 19
HA
Source
This article was originally published by Hacker News and written by jlebar.
Read original article on Hacker News