Can maths survive AI? Fields medallist Terence Tao calls for a ‘Maths 2.0’ world