Meta 推出的 ATLAS 项目通过多智能体协作实现了大规模数学教科书的形式化，这不仅是将数学转化为计算机可验证代码的技术突破，更标志着数学研究正在从“证明生成”向“可信验证”的范式转移，为未来的 AI 科学发现奠定了基础设施。