陶哲轩新论文：AI 将颠覆数学实践与价值体系
Terence Tao’s new paper.
陶哲轩对 AI 时代数学实践变革的深度思考，值得数学与 AI 交叉领域的研究者关注，可引发对学术价值体系重构的讨论。
Terence Tao’s new paper.
陶哲轩的新论文。
AI may make proof generation abundant before mathematics has adapted to abundance.
在数学适应丰富性之前，人工智能可能已经使证明的产生变得丰富。
"I believe that we are now entering a era of comparable turbulence in mathematics.
"我相信我们现在正进入数学领域一个同样动荡的时代。
This time, though, what is being stress-tested is not our foundational framework for mathematical truth, but rather the largely implicit framework of mathematical values and practices: what we consider a contribution to be, what we reward, what we regard as understood, and who — or what — we regard as having done the work.
不过，这次受到压力测试的不是我们数学真理的基础框架，而是很大程度上隐性的数学价值观和实践框架：我们认为什么是贡献，我们奖励什么，我们认为什么被理解了，以及我们认为谁——或什么——完成了这项工作。
I argue that it will become necessary to make these unwritten goals of mathematics much more explicit"
我认为，有必要让这些数学的未言明目标变得更加明确。"
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力