陶哲轩对AI做数学的真实看法，讲得很清楚：AI能算题，但建理论还不行。
数学家陶哲轩在一场讲座中指出，AI工具可能带来“证明消化不良”，并非所有机器生成的证明都有用。他强调数学研究并不均匀，AI擅长其中部分环节，却无法覆盖全部。他还提到，Astra（他写评论时该模型尚未发布）能解决特定类型的问题，但目前没有证据表明它能构建新理论。
Brilliant, must read lecture on AI and math by leading mathematician Terence Tao. Among the key po...
Brilliant, must read lecture on AI and math by leading mathematician Terence Tao. Among the key points: (a) we are risk for “proof indigestion”; not every proof is useful and (b) math is not uniform (see figure below), and AI might be good at some part of what needs to be done but not all. In keeping with this (and with what I argued yesterday), Astra (his essay was written just before Astra was announced) is good at solving certain types of problems but there is no evidence thus far it can build new theories. teorth.github.io/tao-web/slides… 💬 4 🔄 2 ❤️ 17 👀 1904 📊 7 ⚡