AI Will Become Mathematicians' 'Co-Pilot' – Interview with Terence Tao | Hacker News Reader