news.volyx.in

Terence Tao on proof checkers and AI programs (scientificamerican.com)

331 points by antineutrino · 793 days ago · 175 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.