Francesco Maggi 在陶哲轩博客提出 AI 数学研究的八项治理议题：人类理解、研究者培养与公共模型基础设施

Francesco Maggi 于 10 月 18 日在 Terence Tao 博客发布八点评论，分析 LLM 数学证明与人类数学理解可能脱节的风险，讨论数学表述新概念（mathematization）、作者归属和同行评议、年轻研究者培养、未发表研究保密、私人前沿算力集中等问题。文章主张大学、专业学会、基金会协调建设具有自主治理与访问权限的科研 LLM 基础设施，并发展复现、贡献透明度及人才评估规范。它是作者的公共政策与学术生态建议，非已采纳的行业规范、成立的机构或新的实验研究结果；与 10 月 16 日 formalization library 路线及 17 日期刊筹备不是同一具体里程碑。