01:20
Gary Marcus@GaryMarcus
Gary Marcus@GaryMarcus推荐理由：陶哲轩对AI做数学的真实看法，讲得很清楚：AI能算题，但建理论还不行。
Terence Tao
共 1 条相关 AI 资讯
8月4日
01:20
数学家陶哲轩在一场讲座中指出，AI工具可能带来“证明消化不良”，并非所有机器生成的证明都有用。他强调数学研究并不均匀，AI擅长其中部分环节，却无法覆盖全部。他还提到，Astra（他写评论时该模型尚未发布）能解决特定类型的问题，但目前没有证据表明它能构建新理论。