#Astra
OpenAI 的 Astra 论文被数学家抓了没引文献，两项核心结果撞车 2016 和 2019 年的工作，OpenAI 说要改，看看学术圈怎么较真。
Altman 亲口说 Astra 不会只给少数人，但要先搞定安全。想抢先体验 GPT-6 系列的话，可以盯紧这条。
Altman 亲口说 Astra 不会只给少数人用，但因为 cyber 能力要加做安全测试再公开发布。
OpenAI 刚透露下一代模型 Astra 在智能体编程和网络安全上能力大涨，还把它定为首个“关键”网络安全模型，安全措施也升级了。
OpenAI下周可能要发Astra，是GPT-4.5以来最大模型，能解10道数学难题，还能调度智能体干活。
Gary Marcus说OpenAI的Astra拿出10项数学新成果，或够AGI四级创新者，聊？
Gary Marcus盘点Astra数学8大误区，冷静看待OpenAI新模型，别被'数学已解决'带偏
Gary Marcus 给 OpenAI 的数学成绩单泼冷水：Astra 能解数学题是因为数学能自动验证，换到现实问题就不好说。别急着吹成万能。
Gary Marcus对OpenAI Astra的数学表现泼冷水：没公开细节，没独立验证，别急着吹。
Gary Marcus公开赌Astra不是纯大模型，而是神经符号路线，还说自己早这么说了。想看他凭什么这么判断，就来读读这条。
Gary Marcus扒出OpenAI的Astra证明可能有问题，一个数学博士生的反例讨论才十几个互动，和数千万播放反差太大，建议去看看。
Gary Marcus 发推怼 OpenAI：别光吹 Astra 万能，连数学行不行都存疑。围观他怎么拆台。
OpenAI的Astra模型一口气放出10个数学证明，还带Lean验证和推理过程，数学爱好者可以围观了。
OpenAI说新模型Astra用2000美元算力解了10个老数学难题，连数学家都难搞定，还附Lean证明，感觉是真翻身了。
OpenAI在做Astra模型家族，多个智能体能协作数小时甚至数天，可能叫GPT-6或GPT-5。
OpenAI用Astra模型解决了十个多年没人做出来的数学难题，整个研究烧了约2000美元的token，还在Lean里验证过，值得看看。
OpenAI 新模型 Astra 能让多个智能体拆任务协同，专攻长周期复杂任务，不是单个模型硬扛。