Hacker News new | ask | show | jobs
by rkowalick 3256 days ago
I would argue that the first computer verified proof in some sense changed the mathematical aesthetic.