Can maths survive AI? Fields medallist Terence Tao calls for a 'Maths 2.0' world (www.nature.com)

Terence Tao, a Fields Medalist, has called for a transformative 'Maths 2.0' era in response to rapid advancements in artificial intelligence that are reshaping mathematical practices. Recent months have seen a surge in AI-aided proofs for long-standing problems, with hundreds of solutions released by firms like OpenAI, disrupting traditional research methodologies. The implications of this shift are significant; while AI is accelerating discovery, it also raises concerns about quality, attribution, and the accessibility of mathematical knowledge. Many AI-generated proofs lack clarity, making it challenging for researchers to validate these results and leading to fears of intellectual theft among mathematicians. Moreover, the speed of AI-generated results is outpacing human comprehension, creating a phenomenon termed 'proof indigestion,' where mathematicians struggle to fully grasp the implications of newly derived solutions. This disconnect could pose risks in real-world applications, such as financial models that rely on AI without adequate human oversight. Tao emphasizes the urgent need for a reevaluation of the incentive structures in the mathematical community, advocating for responsible AI usage that enhances understanding rather than undermining it. With the right approach, AI can become a tool for deeper insights, rather than a barrier to mathematical discovery.