学术出版

导读

陶哲轩多年推动开放数学协作，也积极试用 AI 与形式证明工具。博学项目显示，许多人并行工作能够加速突破；

博客平台、错误累积和主持人复核，也让协作的代价变得可见。## 背景 Anthropic 的多智能体漏洞研究显示，协调式系统发现了 266 个漏洞，独立并行方式只发现 21 个。