https://www.neican.ai/tags/ai%E7%A7%91%E5%AD%A6/ Recent content in AI科学 on AI内参 Hugo zh-cn Fri, 29 May 2026 15:40:03 +0800 https://www.neican.ai/insights/meta-atlas--20260529154003474-0/ Fri, 29 May 2026 15:40:03 +0800 https://www.neican.ai/insights/meta-atlas--20260529154003474-0/ Meta 推出的 ATLAS 项目通过多智能体协作实现了大规模数学教科书的形式化，这不仅是将数学转化为计算机可验证代码的技术突破，更标志着数学研究正在从“证明生成”向“可信验证”的范式转移，为未来的 AI 科学发现奠定了基础设施。