陶哲轩为何押注开放数学模型？

当菲尔兹奖得主陶哲轩把时间花在讨论一个数学模型的"开放性"上，这件事本身就已经说明问题。新加坡人工智能研究院（SAIR）发起的开放数学模型计划，试图把 AI 辅助数学推理的能力向学界公开。 这不只是又一个开源项目。陶哲轩的参与意味着顶级数学研究者认可了一条路径：数学工具的开放共享可能比私有模型更能推动理论突破。 我倾向于相信，数学的未来不在某个实验室的服务器里，而在公开、可复现的协作生态中。如果 SAIR 能真正兑现"开放"的承诺，这将成为继 arXiv 之后，数学传播方式的又一次范式转移。

原文：Terence Tao: SAIR's Open Math Model Initiative · 来源：Hacker News