HNNewShowAskJobs Built with Analog

Claude formalized Fermat's Last Theorem in 11 days

2 points | by fourfire 2 hours ago

1 comments

  • ChrisArchitect 2 hours ago

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