陶哲轩：数学研究成为AI巨头技术竞技场，大量证明沦为“有毒废料”

菲尔兹奖得主陶哲轩批评OpenAI等AI公司竞逐数学难题，认为批量生成的证明可能缺乏可理解性并成为数学界的“有毒废料”。他呼吁建立“Maths 2.0”，重视人类对证明的理解、整理和数学思想提炼。

来源：腾讯新闻