新闻资讯8

OpenAI收购Astral，剑指AI编程全流程

新智元2026-03-20

AI 摘要

OpenAI宣布收购Astral，团队并入Codex。Codex目标是参与全开发流程。AI编程竞争已从模型比拼到工作流抢夺，OpenAI靠收购抢入口，开发者生态或成AI时代石油。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

OpenAI发722篇数学成果搅乱学界

OpenAI公开722篇由内部未发布前沿模型生成的数学成果，覆盖多数学方向，部分附带形式化证明，发布后引发数学界巨大冲击，消化验证需数年，不少青年学者研究项目遭毁灭性打击，本文梳理各方反应与争议。

本文报道OpenAI一次性放出722篇AI生成的重大数学难题证明，引发全球数学界震动，美国CS教授称其为数学末日，数学家联合抵制OpenAI，学界观点撕裂，揭露了AI给数学界带来的巨大冲击和争议。

本文报道王虹已解决三维集合版挂谷猜想，OpenAI在GitHub公开两篇数学手稿，分别挑战更强的三维极大函数版和一般四维集合版挂谷猜想，引发AI助力数学研究的讨论。

本文汇总2026年全球顶尖AI机构在递归自我改进（RSI）领域的最新实践，涵盖技术进展、行业动态，也包含学界质疑与风险讨论，完整梳理AI造AI的当前阶段与未来走向。