AI工具每日简报｜7月12日

今日热点
1. OpenAI负责人推荐CPA接入
本地日报称 Codex 负责人 Tibo 公开推荐通过 CLIProxyAPI 在 Claude Code 中使用 GPT-5.6，显示个人工具接入获正面回应；这不代表多人共享或高并发分发不受风控。用户仍应核对账号、令牌和服务条款。

2. Sol Ultra挑战图论猜想
日报转述 OpenAI 研究人员称 GPT-5.6 Sol Ultra 调用 64 个子智能体，在一小时内生成循环双覆盖猜想的证明；公开材料仍需学术共同体独立审查。研究用户可借鉴并行探索与交叉验证流程，但不能把模型输出直接视为定论。

3. Codex额度与五小时限制收紧
社区反馈 Codex 多档推理额度下调，五小时限制开始更严格地中止运行中的任务；不同订阅与模型档位的实际额度应以账户页面为准。长任务应拆分检查点、保存中间状态并预留替代模型，避免执行中断造成返工。

4. Grok 4.5编码实测升温
多篇社区实测称 Grok 4.5 在长程编码、重构和故障排查中的速度与可用性明显提升，但结论仍来自用户样本，社区也担心后续减配。团队可用固定仓库任务持续对比质量、速度、稳定性和成本，再决定是否迁移主力工作流。

5. Gemini 3.5进度再现分化
日报称 Gemini 3.5 Pro 可能再次推迟，而 Flash 在低延迟垂直场景中获得较好评价；Pro 发布时间仍属社区消息，Flash 的综合能力评价也来自个别实测。对延迟敏感的任务可先小规模试用，关键迁移应等待官方信息并做回归测试。

6. 苹果与OpenAI人才纠纷升级
本地日报称苹果已起诉 OpenAI，争议涉及商业机密及大量前苹果员工加入 OpenAI；案件事实与诉求仍应以正式诉状为准。对企业而言，人才流动加速时更要强化保密协议、权限回收、资料交接和知识产权审查。

AI工具动态
1. Claude Code应用内浏览器
日报称 Claude Code 桌面版新增应用内浏览器，可在对话中打开、滚动和操作网页，适合前端调试、查文档和对照设计稿。使用登录页面或内部系统时仍应限制代理权限，避免敏感 Cookie、表单和数据被不必要地读取。
2. Kimi K2.7 Code高速版
月之暗面 K2.7 Code 高速版已进入 Kimi Code 常驻可选模式，本地日报将其视为国内 AI 编程工具的持续更新。开发者可用相同代码任务测试响应速度、修改准确率、上下文稳定性和费用，再决定适合日常开发还是应急补位。
3. Codeg科研协作模式
Codeg V0.20.1 新增 science 科研模式，提供多智能体协作工作台；并行检索、分析和复核可能提升效率，也会增加消耗与协调成本。