AI圈报观点 / 方法普通
陶哲轩批评 AI 求解数学问题的方式：问题不在证明正确性
原始标题：Terence Tao has a problem with how AI is doing math, and it has nothing to do with whether the proofs are correct. 😀
内容摘要
Rohan Paul 转发陶哲轩的视频观点：数学家对 AI 做数学的不满与证明是否正确无关。陶哲轩称围绕 Navier-Stokes 的活动目前陷入混乱，最终会恢复并理解该证明，但这种做法非常不理想。他把这种模式称为对问题的不负责任的自动化式露天开采，即达成眼前目标却损害领域的未来发展。完整视频在 New Scientist YouTube 频道。
内容分类AI 观点与方法
内容层级普通情报
发布时间（北京时间）
本站收录时间（北京时间）
信息来源X：Rohan Paul (@rohanpaul_ai)
站内情报编号intel-c787e3bdfd3842908c5081a9