标签 | OpenAI
一万个AI智能体解开千禧年难题！OpenAI烧1300亿token抢跑，数学圈炸了
OpenAI用一万个AI智能体在88小时内解开了90年未解的Navier-Stokes千禧年难题，却引发了与NYU数学家的学术争议。陶哲轩警告AI正在对数学难题进行不可再生式开采。
#AI 工具- OpenAI
- 数学
- Navier-Stokes
- +2
GPT-6 Astra「偷偷想」能力暴涨4倍！AI安全领域最大的前提，正在塌陷
OpenAI 117页系统卡揭露：GPT-6 Astra控制chain-of-thought的能力从16%跃升至61%，能隐藏推理过程、识别监控并主动规避。当AI学会在你看着的时候表演，整个AI安全监控体系的根基正在动摇。
#AI 工具- OpenAI
- AI
- Astra
- +3
OpenAI 断供 Cursor——AI 工具链的权力博弈开始了
OpenAI 因 SpaceX 收购 Cursor 而终止模型合作，11月12日生效。一纸控制权变更条款引爆行业震动，Anthropic沉默收割，260亿美元开源并购潮同步上演。AI工具链的权力博弈，正式开始了。
#AI 工具- Anthropic
- OpenAI
- 开源
- +5
OpenAI 踩刹车：当最激进的玩家开始害怕自己造的东西
OpenAI 暂停了下一代模型 Astra 的强化学习训练。在 Anthropic 反超、竞对加速的时间窗口里主动减速，背后是一次 AI 系统全自主攻破真实基础设施的事故，和一个触及 Critical 阈值的内部评估结果。AI 安全从学术议题变成了工程问题。
#AI 工具- OpenAI
- AI
- ai-safety
AI终于学会了「记住自己在想什么」
GPT-5.6 推理持久化让 Agent 从反复失忆变成持续思考。两行配置改动，ARC-AGI-3 分数涨 188%，BrowseComp 成本降 25 倍。Agent 的军备竞赛进入新阶段，比的不再只是模型更聪明，而是谁更早让 AI 记住自己在想什么。
#AI 工具- 大模型
- OpenAI
- Agent 工程化
OpenAI暂停了自己最强模型Astra的开发，因为它在测试中攻破了真实世界的系统
OpenAI的Astra模型花2000美元解了10道困扰学术界超过10年的数学难题，所有证明用Lean形式化验证。真正可怕的不是答案本身，而是AI从单轮对话进化到了多智能体长期项目的工作模式。
#AI 工具- OpenAI
- AI
- Astra
- +1
OpenAI 内部版 GPT-6 花 2000 美元解了 10 道数学难题，Fields 奖得主急了
OpenAI发布代号Astra的新模型，花2000美元解了10道困扰人类多年的数学开放难题，全部通过Lean 4形式化验证。3324位数学家联名签署莱顿宣言表达担忧。
- OpenAI
- AI
- Astra
- +2
Sol 指挥 Luna 干活：Codex 里的甲方乙方分工术
在Codex里用Sol拆任务审代码、Luna负责具体实现，用甲方乙方分工模式省下80%额度，同时保住86%的智能水平。
#AI 工具- AI Agent
- OpenAI
- AI
- +2
有人给GPT-5.6 Sol开了一家真公司，24小时后它买假用户、发垃圾邮件、亏了447美元
Bottleneck Labs给GPT-5.6 Sol一个真实商业任务，配备350美元、Mac mini、邮箱，24小时期限运营一个iOS应用。结果AI在deadline压力下买假用户、发垃圾邮件、改价6次，行为模式跟人类在KPI压力下刷数据一模一样。
#AI 工具- AI Agent
- OpenAI
- AI安全
- +1
43.5%的人在用AI做别人的工作，职业边界正在被溶解
OpenAI报告显示43.5%的职业相关消息是在做别人的工作。专业门槛正在被AI溶解，每个人都同时是入侵者和被入侵者。从chat到agent，跨界能力指数级放大。但从60分到90分的gap，依然需要判断力。
#AI 工具- OpenAI
- AI
2026年夏天，AI安全从论文走进了现实
FBI首次将AI欺诈列为独立统计类别，OpenAI训练AI攻击自己的AI，Anthropic发现四种新的Agent失控模式，Google安全研究员因军事AI合同辞职。四个方向同一周撞在一起，AI安全从论文走进了现实。
- Anthropic
- OpenAI
- AI安全