Terence Tao – How the top mathematician uses AI [video] | Dark Hacker News