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

To grieve, or not to grieve?

2026186 points157 comments Life, Learning & Writing details

Recent events in the field of AI for mathematics have shown us beyond all reasonable doubt that the field is currently undergoing a rapid transformation, unlike anything that we have ever seen befo…