标签 | OpenAI
共计6篇博客
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安全