菲尔兹奖得主陶哲轩批评OpenAI等AI公司竞逐数学难题,认为批量生成的证明可能缺乏可理解性并成为数学界的“有毒废料”。他呼吁建立“Maths 2.0”,重视人类对证明的理解、整理和数学思想提炼。
来源:腾讯新闻
本站内容来自 Telegram 频道,实时更新
订阅频道