Kevin Buzzard

xenaproject.wordpress.com

Mathematicians learning Lean by doing.

Popular posts: 8
Total points: 2,067
HN comments: 1,202
Rank: #800 personal

Visit xenaproject.wordpress.com → RSS feedOn Hacker News Jul 2020 – Oct 2026

Math & Algorithms 7 AI & Machine Learning 4 Software Engineering 2 Life, Learning & Writing 1 History & Retro Computing 1

Most points Most discussed Most cited Newest

Fermat's Last Theorem – how it’s going

2024443 points210 commentscited by 4Math & Algorithms details

So I’m two months into trying to teach a proof of Fermat’s Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing.