陶哲轩：AI时代，数学研究将进入前所未有的规模

学术头条 2024-09-01 08:03

万字实录，从使用计算机辅助数学的历史讲到大模型