Fermat's Last Theorem: Anthropic has beaten me to it | Hacker News

Hacker News .hnnew | past | comments | ask | show | jobs | submit

		Fermat's Last Theorem: Anthropic has beaten me to it (xenaproject.wordpress.com)
		41 points by ravenical 2 days ago \| hide \| past \| favorite \| 2 comments

		help

dang 2 days ago | [–]

Related ongoing thread:

Formalizing Fermat's Last Theorem - https://hackernews.hn/item?id=49568506 - Sept 2026 (177 comments)

Discussion of Kevin's post in the top subthread:

https://hackernews.hn/item?id=49568667

(I'd much prefer the xenaproject link to be the #1 on HN but it seems fair to give Anthropic their due in this case!)

ChrisArchitect 2 days ago | [–]

Discussion:

https://hackernews.hn/item?id=49568506

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact