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

Terence Tao highlights how AI is rapidly advancing mathematical proofs, producing many solutions quickly but often lacking clarity and depth. He calls for a new 'Maths 2.0' era prioritizing human understanding over sheer quantity of proofs.