OpenAI 公布数学与理论计算机科学 10 项进展，AI 的未来在何方？
OpenAI 于 8 月 1 日公布了数学与理论计算机科学方向的十项新进展，涉及几何、密码学、复杂性等长期问题。这些成果来自下一代模型 Astra 的内部版本，配套了 253 页论文、推理叙述和 Lean 形式化证明仓库。文章强调，这不仅是模型能力的展示，更标志着 AI 从生成文本转向生成可验证的研究产物。作者提醒读者不要过度解读为“AI 替代数学家”，而是关注其带来的可验证输出标准，这对未来 AI 工作流和科研模式具有深远影响。
