login sign up

FLT: Anthropic has beaten me to it

xenaproject.wordpress.com · first added by @kmurph
saved by
0 people
discussions · 1
Fermat's Last Theorem: Anthropic has beaten me to it 43 pts · 2 comments · Sep 2026 43 pts · 2 comments · Sep 2026
0 people saved or upvoted this
from the discussion · 1
Formalizing Fermat's Last Theorem anthropic.com anthropic.com
2 people saved or upvoted this
related HN threads · 1
Formalizing Fermat's Last Theorem 773 pts · 512 comments · Sep 2026 773 pts · 512 comments · Sep 2026
0 people saved or upvoted this