搜索
这个周末，Coding Agent 用户同时看到了两种截然不同的「额度调整」。一边，Codex 负责人 Tibo（Thibault Sottiaux）再次按下了那个已经快被用户玩成梗的「重置按钮」：所有 Codex 和 ChatGPT Work 付费用户的使用额度，将获得一次重置。
现在，掌舵OpenAI的是Greg Brokckman。 奥特曼还是CEO，但日常运营的大权，落在二把手Brockman手里。过去一年，OpenAI风云激荡。乱局之中，一人岿然不动，悄然积聚权柄。
就在刚刚，OpenAI宣布断供Cursor！根据方案，Cursor对我们模型的直接访问，将于11月12日彻底终止。至于下一代最强模型Astra，官方渠道永远不给。理由很简单。
那这次发布的 Hy4 Preview 到底有什么进步，APPSO 这就给你实测看看。姚顺雨此前反复提到一个思路，比起把模型训练成更会刷榜的「做题家」，混元更关心它到了真实场景里到底好不好用。
今夏，数学圈震动不断——OpenAI的Astra模型一举解决10个长期悬而未决的数学问题（包括非sofic群的存在、高维球堆积新的结果等）；Claude Fable 5找到近百年Jacobian猜想的反例，之后还极大推动了黎曼猜想！
Qwen4还没出，架构先开源了。
随着开源模型能力不断提升，它们已经能够以极低的成本生成多个高质量候选方案，并进一步利用模型自身对这些结果进行验证、打分和筛选。斯坦福团队最新实验发现，使用 DeepSeek V4 Flash + LLM-as-a-Verifier 进行「自验证」，可以在 Terminal-Bench 2.1 上超越 Claude Fable 5，同时整体成本低约 11 倍。
8月14日，一个叫Cocode的项目悄悄出现在GitHub上，简介写得很直白，基于DeepSeek Harness构建的开箱即用发行版。不到两周，它拿到150多个star，并在8月25日发布了v1.0.2。
说真的，现在谁还能完全离开AI工作？
昨晚，孙割写的小作文爆火。具体的小作文详情我就不放了，应该传的满天都是，感兴趣的可以去孙割的GitHub上看。但是就别问我孙割具体的GitHub链接是什么，你可以直接复制这个问题去问AI。