AI Will Become Mathematicians' 'Co-Pilot' – Interview with Terence Tao

scientificamerican.com