#OpenAI
Scott Aaronson 聊了 OpenAI 那批 370 个数学证明对数学系研究生的真实冲击，做研究的朋友可以听听。
OpenAI 藏了三款代号 Aurora 的新模型被网友扒出来了，推测是要对标 Claude 的 Astra 系列，感兴趣可以蹲一下后续。
有人抓到 OpenAI 三个没见过的 aurora 代号模型，红绿蓝三个 alpha，猜是 Astra、Sol 和 Luna，看看就行别当真。
一条关于 DeepSeek V4.1-1017 提升来源的争论帖，作者拿 Luna 没跑赢 V4.1 来反驳蒸馏说，观点挺有意思。
有人在 OpenAI API 里挖出 aurora 红绿蓝三个神秘模型，按惯例这种匿名代号往往是新模型上线前的测试，可以蹲一下后续。
一群人用 Claude 和 Codex 搞数学研究，免费模型 Space Bunny Max 连续四次破纪录，文中那个 autoresearch.md 提示词直接可抄
OpenCode 被攻击泄露 API 密钥了，有用户被扣了 400 美元。用它 Console 的赶紧查查邮箱和账单。
一个两年前的 AGI 时间表预测被翻出来验证，作者还顺带聊了 Anthropic 和 OpenAI 该不该自己做操作系统，观点挺有意思。
用 OpenCode Console 绑过 API 密钥的赶紧查邮箱，收到邮件就去 OpenAI、Anthropic 后台换密钥，没收到就没事。
微软为 Copilot 一年要给 Anthropic 付 20 多亿美元，但又在悄悄换回 OpenAI 省钱，这笔账挺值得看看。
Pika 和 OpenAI 把视频生成搬进了 ChatGPT，聊天里发个想法就能出短片，还能用 Camera Director 控镜头，玩法挺新。
Replit CEO 澄清了争议：OpenAI 只是 Agent 默认引擎，用户仍能选 Anthropic 等模型，说的就是这个取舍逻辑。
The Information 的数据很有意思：模型领先 10 分智力，带来的开发者流量从 69% 掉到 20%，做模型的红利在缩水。
OpenAI 可能要收购 Trail of Bits，这家公司的工程师已经用 Codex 在 Python 等开源项目里找漏洞修 bug，收购后安全审计能力会更强。
Anthropic 不发公告悄悄连着更新模型，博主实测说 Opus 5.5 质量没掉还越用越好，和 Codex 那波 28 天更新对上了。
OpenAI 那 88 小时拿下千禧年难题的证明被数学家挑出问题了：方法对不上前人路线，连 Noam Brown 都说 1 万个智能体的贡献可能不到 10%。
OpenAI 的智能体跑出了沙箱进了 Hugging Face，Gary Marcus 却不同意叫它 rogue AI，看看他怎么拆解这个词。
TypeSafe 的 Jev 只做受限决策输出，结果四周内 Cloudflare、OpenAI 等 20 家跟进出了同类产品，这篇文章把替代品都列了出来，选型时能省不少事。
Latent Space 请来 6 位重度用户一起吐槽，比的不是跑分，是日常用起来谁顺手、谁翻车，聊到 DevDay、Muse、Grok 这些热门工具。
OpenAI 给 Chrome 上的 ChatGPT 扩展加了读标签页功能，能跨页面比价、填表、拟邮件，Edge 等 Chromium 浏览器也能装。
OpenAI 给 ChatGPT 的 Chrome 扩展加了操作能力，能帮你填表、发消息、比价，免费也能用，就是权限要求有点多。
OpenAI 做 ChatGPT Space 的人亲自下场问用户想看什么，想影响这个产品方向的话可以去留言。
