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

The supplied material contains only a site error message stating that a required part of the page could not load, possibly due to a browser extension, network issues, or browser settings. No article text about Terence Tao or "Maths 2.0" is available to summarize.