GoKawiilTerence Tao urges 'Maths 2.0' as AI floods field with rapid proofs
Fields medallist Terence Tao says AI models have produced solutions to hundreds of long-standing maths problems in recent months, outpacing mathematicians' ability to verify and absorb them. He notes OpenAI released hundreds of proof solutions online on 6 October, disrupting ongoing research programmes, and warns that many AI-generated proofs lack clear documentation or proper attribution of prior human work.