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

Fields medallist Terence Tao argues that rapid progress in AI-generated proofs calls for a “Maths 2.0” that changes how mathematics is produced and assessed. He warns that hundreds of AI-aided solutions released by OpenAI on 6 October have disrupted research, while unclear proofs, attribution concerns and slower human understanding pose risks; he calls for new incentives and responsible practices to preserve understanding and collaboration.