Svelte Hacker News logo
  • top
  • new
  • show
  • ask
  • jobs
  • about

Claude formalized Fermat's Last Theorem in 11 days

anthropic.com

2 points by fourfire a day ago

ChrisArchitect a day ago

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