S scientificamerican.com Terence Tao on proof checkers and AI programs 331 points antineutrino 2 years ago 175 comments
