N
Hacker Next
new
show
ask
jobs
submit
login
Terence Tao on proof checkers and AI programs
scientificamerican.com
331 points by
antineutrino
23 days ago
|
174 comments
add comment