陶哲轩呼吁建立开放数学AI基础设施
发生了什么
陶哲轩在《Nature》发文称传统数学思路难以维系，认为数学家需建立自己的开放模型和研究工具，并保留对AI研究过程的监督和干预权。他早在9月就倡导推动SAIR开放数学模型计划。10月26日，Axiom Math称其AI系统AxiomProver在Lean 4中完成有限单群分类定理的形式化证明。
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口