news.volyx.in

Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com)

127 points by anonyonoor · 362 days ago · 79 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.