#AI 与数学

陶哲轩在国际数学家大会讲 AI：AI 证明会越来越多，但数学不会因此变快

他把数学研究拆成五步流水线，AI 大幅加速的只有第一步，剩下四步越往后越慢、越离不开人。