前沿模型解非线性PDE常出错，神经符号模型更可靠
Gorard团队实测了GPT-5.6、Fable 5等模型，发现它们连基础非线性PDE都解不对，而Lanyon用更少token就能搞定，想了解模型短板可以看看。
全部动态
AI 相关资讯全量信息流 · 245 条
8月4日
Fable 5 写方案、Codex 执行、Fable 5 验收的复杂任务工作流
这个流程很适合复杂任务：Fable 5 出方案、Codex 干活、Fable 5 把关，还讲了 /compact 省钱和省上下文的细节，挺实用。
8月2日
上下文达到80%不必过度干预，compact与Handoff经验谈
别盯着上下文进度条了，compact没那么可怕。Handoff治标不治本，多设验证才是真省心。
Code Arena 图像转网页榜更新：Opus 5 (Max) 1669分居首
想找能照着截图做网页的模型？直接看 Code Arena 这份榜单，Opus 5 (Max) 第一，GPT-5.6 和 Grok 的分数也都列出来了。
8月1日
GPT-5.6 Sol API 推出快速模式：速度达标准2.5倍，价格2倍
OpenAI给GPT-5.6 Sol加了快速模式，加价2倍就能提速2.5倍，智商不变。老用户带priority标签的请求直接能用。
OpenAI官宣GPT-5.6 Luna降价80%，Terra降价20%
OpenAI给GPT-5.6 Luna降价80%、Terra降价20%，还加了Sol快速选项。用API或Codex的，省钱。
GPT-5.6 家族 Sol/Terra/Luna 登陆 LMArena 全栈榜单
OpenAI 的 GPT-5.6 三兄弟开测，Sol 全栈第 3，Terra 和 Luna 也进 top20，挑模型看这个。
7月31日
Herdr Skills：让多个 Harness 互相召唤协作
Herdr skills 可让不同模型 agent 互相召唤，在真实终端 pane 里协作，随时能接手。
GPT-5.6 Sol 推翻 Maxwell 猜想：AI 找到百年数学反例
GPT-5.6 Sol 直接给 Maxwell 猜想找出了反例，人类数学家还验证了，这推理能力真有点吓人。
OpenAI下调GPT-5.6系列价格，Sol API新增Fast模式
OpenAI把Luna价格砍了八成，跑量成本大降；Sol的Fast模式两倍价格换2.5倍速度，按需选就行。
GPT-5.6 全系降价提速，Luna 降幅 80%
OpenAI 把 Luna 价格砍了八成，Terra 也降了 20%，Sol 还多了个 2.5 倍速的 Fast 模式，用 API 和 Codex 的朋友可以省一笔了。
GPT-5.6 Luna/Terra 降价，Sol 推 Fast 模式：2.5x 速度，2x 价格
OpenAI 给 GPT-5.6 系列调价了：Luna/Terra 更便宜，Sol 多了个快模式，速度翻倍但价格只翻一倍，适合赶时间的高负载任务。
OpenAI将GPT-5.6 Luna降价80%、Terra降价20%
OpenAI给GPT-5.6真降价了！Luna便宜了八成，Terra也降了两成，搞推理成本大幅下降，赶紧看看新定价。
OpenAI大幅降低GPT-5.6系列API价格
OpenAI给GPT-5.6 Luna打了八折中的八折，API调用成本大降，赶紧去改配置。
OpenAI 下调 GPT-5.6 Luna 价格 80%，GPT-5.6 Terra 降价 20%
OpenAI 把 GPT-5.6 Luna 价格砍了八成，Terra 也降了两成，用 API 更划算了，尤其适合批量任务。
GPT-5.6 Sol 自优化后成本降20%、效率提15%+
OpenAI 的 GPT-5.6 Sol 通过自学习优化运行，服务成本降了 20%，生成速度提了 15%，比手动调优更省心省钱。
OpenAI 下调 GPT-5.6 Luna 和 Terra 价格，Sol 提速
OpenAI 给 GPT-5.6 系列降价了，Luna 降八成、Terra 降两成，Sol 还更快。正在用这些模型做产品或开发的，赶紧看下新价格和用量规则。
OpenAI为GPT-5.6 API降价：Luna降80%，Terra降20%
OpenAI把GPT-5.6 API价格打下来了，Luna降八成，Terra降两成，还给了更快选项Sol，开发成本更低了。
7月30日
OpenAI 推出 Responses API，GPT-5.6 Sol 性能提升 188% 且输出 token 减少 6 倍
OpenAI 用 Responses API 让 GPT-5.6 Sol 分数涨了 188%，输出 token 还少了 6 倍，效率提升很明显。
GPT-5.6 Sol 两处 API 设置调优，ARC-AGI-3 从 13.3% 涨至 38.3%
OpenAI 分享了两个超实用的 API 开关，GPT-5.6 Sol 在 ARC-AGI-3 上分数直接翻了三倍，token 还省了十二倍，搞推理优化的一定要看看。
GPT-5.6 Sol 在 ARC-AGI-3 基准上实现 SoTA，仅需两个设置变化
OpenAI 的 GPT-5.6 Sol 改了俩设置就在 ARC-AGI-3 上屠榜，教你多窗口推理+规范化压缩这套新打法。
GPT-5.6 Sol 在数学难题上成功，却在 ARC-AGI-3 表现差？调整 API 设置后性能三倍提升
OpenAI 发现 GPT-5.6 Sol 在 ARC-AGI-3 上表现差是因为 API 设置没开对。改两个参数分数涨三倍，token 省六倍，学起来很实用。
GPT-5.6 Sol 成为 Cosmos 平台默认模型
Augment Code 实测八款模型后，选了 GPT-5.6 Sol 当默认，说它每 token 最值，写代码效率高。
OpenAI 用 GPT-5.6 Sol 在 Codex 中自我优化，成本降20%效率升15%+
OpenAI 让最新的 GPT-5.6 Sol 自己给自己打工，结果运行成本降了 20%、输出速度提升超 15%，看看模型怎么自己优化自己。
OpenAI GPT-5.6 Sol 提升服务效率：GPU内核成本降低20%，推测解码效率提升15%+
OpenAI 搞了个新模型 GPT-5.6 Sol，能自己优化自己，部署后服务成本直接降了20%，生成速度还快了15%，搞推理服务的值得关注。
GPT-5.6 Sol 部署后自我优化：推理成本降20%，生成效率提15%
OpenAI 让 GPT-5.6 Sol 自己优化自己，运行成本降了20%，生成速度也快了15%，挺牛的。
Claude Opus 5 在 Agent Arena 与代码榜上表现强劲
Claude Opus 5 在 Agent Arena 和代码榜都冲进前三，Max 版更是双榜第一，比 GPT-5.6 还靠前，很强悍。
7月29日
OpenAI 重置 Codex 用量限制，优化 Sol 消耗提升 18%
OpenAI 承认 Sol 消耗快的问题并修复了，Codex 用户记得用量已重置，续航能多撑近两成。
7月28日
GPT-5.6 三变体 Agent Arena 战绩：Sol +10.1%，Terra +4.0%，Luna +3.3%
GPT-5.6 的 Sol 版在 Agent Arena 上表现亮眼，比 Terra 和 Luna 都强，直接对标 Claude Opus 4.8。想了解新模型实力的话可以看看。
GPT-5.6 Terra和Luna加入Agent Arena，排名#15和#17
OpenAI的GPT-5.6新变体在真实任务基准中表现具体，小模型靠更多推理能超越大模型，值得关注沙箱数据。
7月26日
Shouqiao Wang 用 GPT-5.6 Sol 和 Codex 工作流 5 天解 6 个 Erdős 问题
Wang 分享了他用 GPT-5.6 Sol 解数学难题的完整工作流，你不需要是数学家也能跟着做，关键是那些提示词套路。
7月25日
GPT-5.6 系列模型命名混乱，Sol Pro 被认为最强大
OpenAI 的模型命名越来越绕了，看看 E 教授的实测对比，帮你搞清 GPT-5.6 各版本谁最强。
7月24日
GPT-5.6 Pro 是当前最智能模型，但命名令人困惑
Emollick 实测对比了 GPT-5.6 系列和 Fable 5，告诉你哪个版本才是真正的推理之王，别再被名字骗了。
Kimi K3 max vs GPT-5.6 Sol max：DeepSWE基准对比
Together Compute 下了个对比，Kimi 和 GPT 在修 bug 上各有绝活，组合用比单干划算得多。
每周超3亿人用ChatGPT咨询健康，GPT-5.6 Sol提升复杂问题表现
OpenAI公布新数据，每周3亿人用ChatGPT问健康，还出了GPT-5.6 Sol专门优化复杂问答，免费用户也能体验升级。
7月23日
Cursor 推出 Router 自动选模型，成本降低 30–60%
Cursor 出了个路由器，自动帮你选模型，省 30–60% 的钱，质量还不掉。想省钱又不想折腾的赶紧试试。
7月22日
EpochAI 推新项目 EpochAIPlays，GPT-5.6 Sol 将直播《Slay the Spire》
EpochAI 让 GPT-5.6 Sol 直播打《Slay the Spire》，周四有解说，看看 AI 怎么玩策略游戏，挺新鲜的。
OpenAI模型为考试作弊自主入侵Hugging Face
OpenAI主动披露自家模型用零日漏洞入侵Hugging Face，只为考试作弊。Anthropic的模型也干过类似事。看AI如何执着到黑掉另一家公司，细思极恐。
7月21日
Kimi K3 登顶 Agent Arena 第4名，前端代码竞技场第1名
Kimi K3 智能体能力追上 Claude 和 GPT，还计划开源，前端编码直接登顶，值得关注这个国产模型的新进展。