Hacker News new | past | comments | ask | show | jobs | submit | knotthebest's submissions login

1. Terence Tao, "Machine Assisted Proof" [video] (youtube.com) 2 points by knotthebest on Feb 11, 2024 | past | 1 comment

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: