logoalt Hacker News

olmo23 • yesterday at 8:27 PM • 0 replies • view on HN

Anthropic formalized FLT in 11 days: https://www.anthropic.com/research/formalizing-fermats-last-...