Hacker News new | ask | show | jobs
Terence Tao – Machine Assisted Proof [video] (youtube.com)
2 points by chamoda 856 days ago