编程助手相关 AI 资讯

7月10日

02:58

GitHub@github

86°

OpenAI 发布 GPT-5.6 系列，包含三个变体：Sol、Terra 和 Luna。Sol 拥有最高推理上限，适合复杂代码库推理和长时间代理任务。Terra 是平衡默认选项，适合日常交互和代理编码。Luna 是轻量低成本变体，适合快速小任务。该系列已在 GitHub Copilot 中逐步推出。

事件专题

推荐理由：GitHub Copilot 现在能用 GPT-5.6 了，分三个版本：Sol 专治复杂推理，Terra 日常够用，Luna 省成本又好使。

原文

02:57

宝玉@dotey

Meta今日发布Muse Spark 1.1模型，主打智能体与编程能力。该模型定价较低，通过Meta Model API和Meta AI提供服务。Mark Zuckerberg在X上宣布了这一消息。

AI模型 Muse Spark 1.1 Meta 智能体

推荐理由：Meta出了个便宜的编程和智能体模型Muse Spark 1.1，试试API或Meta AI呗。

原文

02:49

官方账号OpenAI@OpenAI

91°

OpenAI发布GPT-5.6 Sol模型，在编码、知识工作、网络安全和科学领域实现最先进性能。该模型使用更少token并降低计算成本。相比前代，它在多个基准测试中表现更优，但具体数字未公开。

AI模型 GPT-5.6 Sol OpenAI 编程助手

事件专题

推荐理由：OpenAI新出的GPT-5.6 Sol能在编程、科研等领域做到顶尖，还省token省成本，想尝鲜的可以试试。

原文

02:46

Lovable@lovable_dev

精选

Lovable 宣布集成 OpenAI 的 GPT-5.6 模型。相比此前模型，GPT-5.6 在构建生产级应用的长复杂工作流中，步骤减少约 25%，工具调用次数降低 35% 至 48%。项目成功率有所提升，卡住运行的几率降低 15%。

AI模型 GPT-5.6 Lovable 编程助手

事件专题

推荐理由：Lovable 上了 GPT-5.6，跑复杂项目更快了，步数省四分之一，工具调用少四成，卡壳也少了，效率党可以试试。

原文

02:02

Cognition@cognition_labs

Cognition 宣布 GPT-5.6 系列已在 Devin 中可用。在 FontierCode 1.1 Extended 基准上，GPT-5.6 系列实现了强得分与成本效率的平衡。其中 GPT 5.6 Sol 达到顶级性能，成本仅为次优模型的一半。该更新旨在提升 Devin 的编码任务表现。

AI模型 GPT-5.6 Devin FontierCode

推荐理由：Devin 现在能用 GPT-5.6 了，尤其是 Sol 版本，跑分高还省一半钱，做编码任务更划算。

原文

01:57

@koltregaskes@koltregaskes

一条推文猜测即将开始的直播可能展示ChatGPT与Codex整合的超级应用。直播将在约10分钟后开始。目前无法确定是否也包含ChatGPT for Work的相关内容。推文作者表示不清楚具体是什么。

AI产品 ChatGPT Codex OpenAI

事件专题

推荐理由：有人猜今天要发ChatGPT和Codex的合体产品，我也不知道真假，但直播马上开始。

原文

01:17

宝玉@dotey

精选

当使用Coding Agent进行vibe coding时，你的角色从程序员转变为工程经理（EM）。你需要帮助AI理解需求、拆解任务、分配任务并验收成果。AI没有主动性和完整上下文，你需要像EM一样提供全局信息，否则容易因信息不对称导致实现偏差或安全问题。即使AI再聪明，没有充分了解完整上下文和使用场景，方案也可能有误。

技巧 Coding Agent EM 编程助手

推荐理由：想用好Coding Agent？别当码农了，学学当EM怎么管人——拆需求、分任务、看代码，比管真人省心但得喂够上下文。

原文

00:58

向阳乔木@vista8

精选

一位开发者对比了多个编程工具和模型：Codex排第一，配合Computer use和Browser use内置生图功能，长程任务偷懒少；Claude Code第二，其Fable5模型前端审美好但产品生态不如Codex；Zcode因GLM5.2进入可用工具行列；今日发布的Grok 4.5让Grok cli加入可用工具，Cursor也被加强。

AI产品 Codex Claude Code Zcode

事件专题

推荐理由：一位开发者分享了Codex、Claude Code、Zcode等编程工具排名，还提到刚发布的Grok 4.5，看看他的对比。

原文

00:22

岚叔@lufzzliz

用户实测对比Grok-4.5与GPT 5.5的前端编码能力，认为Grok-4.5凭借速度优势体验更好。Grok-4.5能快速迭代代码并理解用户需求，前端编写过程更流畅。该评价来自X平台个人分享。

AI模型 Grok-4.5 GPT 5.5 前端编程

推荐理由：写前端代码试试Grok-4.5，比GPT 5.5快不少，迭代起来很顺手。

原文

00:10

The Rundown AI@therundownai

Mark Zuckerberg三年来首次在平台发帖宣布Meta发布新模型。Muse Spark 1.1是一款专注于智能体和编程任务的模型。该模型定价较低，可通过Meta Model API和Meta AI访问。

AI模型 Meta Muse Spark 1.1 Zuckerberg

推荐理由：Meta出了Muse Spark 1.1，主打智能体和编程，价格很实惠，值得试试。

原文

7月9日

23:47

elvis@omarsar0

Meta CEO Mark Zuckerberg 宣布发布 Muse Spark 1.1，一个面向智能体和编码任务的模型。该模型通过 Meta Model API 和 Meta AI 提供，价格非常低廉。发布时间与 GPT-5.6 同周，形成竞争态势。

AI模型 Muse Spark Meta GPT-5

推荐理由：Meta 新模型 Muse Spark 1.1 主打智能体和编码，价格低，还和 GPT-5.6 正面刚。

原文

22:59

Aadit Sheth@aaditsh

72°

扎克伯格在X上发帖，宣布Meta发布Muse Spark 1.1模型。该模型定位为强智能体与编码模型，定价极低。用户可通过Meta Model API和Meta AI使用。这标志着Meta在低成本AI模型领域的又一动作。

AI模型 Muse Spark Meta Meta AI

推荐理由：扎克伯格回归X发帖，推Muse Spark 1.1，低价的智能体和编程模型，Meta API可用，值得一试。

原文

22:44

22:44IT之家（博客/媒体）

73°

Meta 今日正式向开发者开放 Muse Spark AI 模型 API，并发布升级版 Muse Spark 1.1。Muse Spark 1.1 是 Meta 迄今在编程和智能体任务方面最强的模型，支持编写调试代码、操作软件、理解文本图片视频。API 定价为每百万输入 Token 1.25 美元、每百万输出 Token 4.25 美元，高于 GPT-5 mini 和 Claude Haiku 4.5，低于 Claude Sonnet 4.6。开发者注册可获得 20 美元免费额度。该模型已在 Meta AI 应用中上线 Thinking 模式。

AI模型 Meta Muse Spark API

推荐理由：Meta 终于开放 Muse Spark API 了，1.1 版编程和智能体能力很强，定价比 GPT-5 mini 高但比 Claude Sonnet 低，开发者快去试试。

原文

22:34

官方账号Meta AI@AIatMeta

Meta 今日推出 Muse Spark 1.1，这是一个专注于智能体任务和代码生成的低价模型。该模型通过 Meta Model API 和 Meta AI 提供服务。Muse Spark 1.1 的定价显著低于同类竞品，旨在降低开发者使用高级 agentic 和 coding 功能的门槛。

AI模型 Muse Spark 1.1 Meta 智能体

推荐理由：Meta 出了个叫 Muse Spark 1.1 的模型，既能当智能体又能写代码，价格还特别低，可以上手玩一下。

原文

19:13

官方账号Decoder@Matthias Bastian

精选

Databricks在其数百万行代码库上测试编程智能体，发现中国开源模型GLM 5.2性能与Anthropic的Opus 4.8相当。每任务成本GLM 5.2为1.28美元，Opus为1.94美元。Databricks计划将GLM 5.2作为日常编程工作主力。该公司认为没有单一供应商占主导地位，企业应自建基准而非依赖公共基准。

AI模型 GLM 5.2 Databricks Opus

事件专题

推荐理由：Databricks选了国产开源模型GLM 5.2当默认编程引擎，每花1.28美元能干出Opus 1.94美元的活，省钱了性能还不差。

原文

17:30

Hunyuan@TXhunyuan

腾讯混元推出 Hy3，一个 295B 参数的 MoE 模型，支持 256K 上下文窗口。该模型针对编码、推理、智能体和可靠工具使用进行优化。即日起至 7 月 21 日，可通过 OpenRouter 免费使用，并可在 OpenClaw 中调用。

AI模型 Hy3 Tencent OpenRouter

事件专题

推荐理由：腾讯新出的 Hy3 模型 295B 参数，256K 上下文，现在 OpenRouter 上免费到月底，编码和推理都很强，赶紧去试试。

原文

15:46

15:46IT之家（博客/媒体）

精选72°

OpenAI 分析 Scale AI 推出的编程基准 SWE-Bench Pro，在 731 个公开测试任务中约 30% 存在评测缺陷。前沿模型通过率从 2024 年初的 23.3% 升至 8 个月后的 80.3%，OpenAI 认为该基准已无法有效评估模型能力。人工标注识别出 249 个失效任务（占 34.1%），问题包括测试过严、提示不充分、范围过窄和误导性提示。典型错误是要求行首 1 个空格但隐藏测试要求 2 个空格。OpenAI 撤回对其的采用建议，呼吁设计新基准。

行业 OpenAI SWE-Bench Pro Scale AI

事件专题

推荐理由：OpenAI 扒了权威编程基准的皮，发现三成题有坑，想测 AI 写代码别轻信 SWE-Bench Pro 了。

原文

15:07

AI Will@FinanceYF5

Rohan Varma讲解AI agent从辅助到真正执行，Daksh Gupta探讨代码加速后的审核问题，Coinbase将PR review时间从150小时压缩至15小时。创始人可与投资人Jon Chu等直接交流如何判断技术团队可靠性。学术圈由Christopher Manning、Bin Yu等学者同台分享。大厂方面，OpenAI infra团队讲解前沿模型训练推理系统，Microsoft介绍AI在数千人工程组织中的落地实践。

行业 OpenAI Coinbase Microsoft

事件专题

推荐理由：这场会按角色整理干货，程序员关注提效，创始人问投资人标准，很实用。

原文

11:11

官方账号Cursor@cursor_ai

91°

Cursor AI 宣布与 SpaceXAI 合作训练 Grok 4.5。这是 Cursor 迄今最强大的模型，也是其首个为软件工程之外任务构建的模型。Grok 4.5 将扩展 Cursor 在更广泛场景下的应用能力。

AI模型 Grok 4.5 SpaceXAI Cursor

事件专题

推荐理由：Cursor 和 SpaceXAI 搞了个新模型 Grok 4.5，不光写代码，还能干其他活。

原文

11:10

官方账号Cursor@cursor_ai

Cursor 宣布 Grok 4.5 和 Composer 属于不同的模型权重类别。Composer 2.5 将继续保留并得到支持。未来会发布同规模的新模型。

AI产品 Grok 4.5 Composer Cursor

事件专题

推荐理由：Cursor 明确了 Grok 4.5 和 Composer 的权重分类，Composer 2.5 不会消失，还有新模型要出。

原文

10:27

shao__meng@shao__meng

精选71°

Addy Osmani 指出在 AI 辅助编程时代，工程师应守住外环（outer loop）的决策与问责，而非内环执行。他提出三个关键词：质量（通过测试、类型、沙箱产生证据）、裁决（人工最终决定放行还是拒收）、可交代性（事后能解释决策链）。数据表明 Sonar 约 42% 提交已是 AI 生成或显著辅助，但审查能力稀缺，形成信任-验证缺口。Osmani 强调模型越强（如 Claude Fable 5、GPT-5.6），杠杆越大，义务越大。

行业 Addy Osmani 外环 AI工程

推荐理由：Addy 把工程师角色从代码执行者挪到系统治理者，给了一整套判断框架，适合正在搞 AI 工程实践的人看。

原文

09:41

Cognition@cognition_labs

73°

Cognition 发布 SWE-1.7 模型，现已集成到 Devin 的 Web、Desktop 和 CLI 端。该模型推理速度达到 1000 tok/s，并在博客中详述了训练运行、基础设施、数据流水线和长程行为优化。SWE-1.7 专注于软件工程任务，旨在提升 AI 编程助手的效率和稳定性。

AI模型 SWE-1.7 Devin Cognition

事件专题

推荐理由：Cognition 把 SWE-1.7 塞进 Devin，推理飙到 1000 tok/s，写代码更快了，可以试试。

原文

08:39

berryxia@berryxia

78°

Cursor与xAI合作训练了Grok 4.5模型，并直接集成到代码编辑器中，称其为当前最强模型。这是Cursor首次将重点从纯软件工程扩展到更广阔的使用场景。Grok 4.5与上一代Composer 2.5属于不同量级，后者将继续迭代新版本。为吸引用户，Cursor在首周提供双倍用量额度。此举标志着Cursor模型策略转向与xAI深度绑定，将Grok作为核心高性能选项。

AI产品 Grok 4.5 Cursor xAI

事件专题

推荐理由：Cursor这次把xAI的Grok 4.5直接拉进来当主力，编程和更多场景都能用，首周还有双倍额度，值得试试。

原文

07:43

Geek@geekbb

xAI 发布了 Grok 4.5，定位为目前最强模型，专注于编程、Agent 任务与知识工作。该模型与 Cursor 联合训练，在 DeepSWE 1.0（pass@1）基准上得分 62.0%，低于 Fable max（66.1%）和 GPT 5.5 xhigh（64.31%），但高于 Opus 4.8 max（55.75%）和 Opus 4.7 max（40.12%）。Grok 4.5 在 Grok Build 和 Cursor 中限时免费提供。

AI模型 Grok 4.5 xAI Cursor

事件专题

推荐理由：xAI 发了新模型 Grok 4.5，编程和 Agent 能力很强，还跟 Cursor 联训，现在免费体验。

原文

06:55

06:55IT之家（博客/媒体）

72°

SpaceXAI 推出首个编程智能体模型 Grok 4.5，与 Cursor 联合训练，在数万个 NVIDIA GB300 GPU 上完成训练。该模型单个任务 Token 消耗仅为同级模型一半，每秒输出 80 TPS，单次任务步骤数少一半。定价每百万输入 Token 2 美元、每百万输出 Token 6 美元，成本不到同类可比模型的一半。Grok 4.5 可处理跨仓库长时间任务，还能构建复杂 Excel 模型和 PowerPoint 图表，在 Rust、C/C++ 等任务中表现高效。

AI模型 Grok 4.5 Cursor SpaceXAI

事件专题

推荐理由：SpaceXAI 发了首个编程智能体 Grok 4.5，和 Cursor 联训，Token 省一半、价格打对折，写代码做报表都能干。

原文

06:54

Poe@poe_platform

Grok 4.5 由 SpaceXAI 发布，已在 Poe 平台可用。该模型在推理能力、编程能力和长上下文处理上有显著提升，可处理复杂多步骤任务。它专门针对智能体任务和现实问题解决进行了优化。用户可在 poe.com/grok-4.5 直接体验。

AI模型 Grok 4.5 SpaceXAI 推理模型

推荐理由：Grok 4.5 在 Poe 上线了，推理和编程更强，适合搞复杂任务，赶紧试试。

原文

06:10

Scott Wu@ScottWu46

Cognition 推出 SWE-1.7 模型，自称其训练过的最强模型。该模型在多个基准测试中得分仅比顶尖前沿模型低数个百分点，但成本大幅降低。SWE-1.7 已在 Devin 中实测并获得优异表现，推理速度可达 1000 tok/s。团队表示强化学习还有提升空间，未来将继续扩大规模。

AI模型 SWE-1.7 Cognition Devin

事件专题

推荐理由：Cognition 搞了个新模型 SWE-1.7，跑在 Devin 里速度超快，成本还低，值得看看。

原文

04:40

官方账号Simon Willison@simonw

精选

Kenton Varda指出，团队用AI写的代码变更描述（如PR和commit消息）只列出代码细节，省略了理解代码所需的高层次框架，对审查者来说比没用更糟。他建议让AI写代码但不要写描述，或者写prompt而不是输出。Simon Willison引用此观点，并承认自己让Claude和GLT-5.5写commit消息后也感到不安。一个好的简短描述只需几分钟，且如果写的人不理解代码，就不应该合并。

技巧 Claude GLT-5.5 编程助手

推荐理由：Kenton Varda说AI写commit消息只列细节缺框架，建议自己写或写prompt，比你用AI生成废话强。

原文

04:29

Ethan Mollick@emollick

Grok 4.5 被用来生成一个 twigl shader，描绘 neo-gothic 城市淹没在暴风雨海中。初始提示词生成了技术正确但浏览器无法显示的代码。经过调整提示词系列后成功渲染出效果。该过程展示了 Grok 4.5 在复杂 shader 代码生成上的能力。

技巧 Grok 4.5 提示词工程编程助手

推荐理由：Grok 4.5 能通过提示词直接生成超酷的 shader 代码，第一次还因太复杂把浏览器搞崩了，调整后效果很棒！

原文

04:27

Fireworks AI@FireworksAI_HQ

精选

Fireworks AI 高级成员 Shoucong Chen 使用 GLM 5.2 Fast 模型，在 4 天内完成了原计划 1 个月的复杂 SWE 项目。该模型推理速度约 400 tokens/s，总推理成本仅 218 美元。通过 FireConnect 可在 Claude Code 中调用此模型。作者认为快速推理能减少上下文切换，提升开发效率。

AI模型 GLM 5.2 Fast Fireworks AI Claude Code

推荐理由：Fireworks AI 的 GLM 5.2 Fast 跑到了 400tok/s，4 天干完一个月活，才花 218 刀。想试试在 Claude Code 里提速的，直接 FireConnect 走起。

原文

04:26

04:26官方账号Simon Willison’s Weblog（博客/媒体）

Kenton Varda 宣布暂停团队使用 AI 编写 PR 和 commit 信息。他认为 AI 生成的描述只罗列代码细节，却缺失高层上下文，导致评审时反而更难理解。这与传统人工编写描述相比，效率更低。Varda 强调，开发者需要提供代码改动背后的设计意图，而非重复代码本身。

技巧 Kenton Varda AI-assisted programming 编程助手

推荐理由：Kenton Varda 分享了亲身踩的坑：AI 写的 commit 信息越看越糊涂。如果你也在用 AI 辅助写代码注释，这条经验能帮你避开大坑。

原文

03:37

lmarena.ai@lmarena_ai

精选

Grok 4.5 由 SpaceXAI 发布，是首款针对编码和智能体任务训练的模型，并已进入 Agent Arena 基准测试。Agent Arena 基于百万级真实世界长时任务，允许模型使用网页搜索、文件系统和终端工具。排行榜采用因果追踪方法衡量模型相对于平均模型的结果表现。此外，Grok 4.5 还参与了 Battle Mode 中的文本、视觉和前端代码竞技场。

AI模型 Grok 4.5 SpaceXAI Agent Arena

推荐理由：SpaceXAI 新发的 Grok 4.5 专门为编程和智能体任务优化，已经在 Agent Arena 开测，你可以亲自去给它投票。

原文

02:59

GitHub@github

GitHub 发布了全新的 Copilot 应用，作为一体化控制中心帮助开发者优化工作流。应用支持 agent-driven development 模式，提升开发效率。GitHub 还组织了 Let's Learn 虚拟课程，提供英语、韩语、中文、日语、西班牙语、葡萄牙语六种语言。用户可通过 gh.io/letslearn 注册参加。

AI产品 GitHub Copilot 编程助手智能体

推荐理由：GitHub 出了新的 Copilot 应用，能帮你用智能体模式写代码，还开了多语言免费课程。想提升效率就看看。

原文

02:31

elvis@omarsar0

精选71°

SpaceXAI发布Grok 4.5，这是其首个专门为编码和智能体任务训练的模型。该模型基于Cursor训练，在效率上比领先模型提升2倍。虽然性能不及Fable 5或GPT-5.5，但通过agent orchestrator组合其他模型可弥补差距。成本方面也具有竞争力，适合需要高性价比的开发者。

AI模型 Grok 4.5 SpaceXAI Cursor

事件专题

推荐理由：SpaceXAI出的Grok 4.5，专攻编程和智能体，效率翻倍，成本也不高，搭配其他模型用很香。

原文

02:02

Notion@NotionHQ

Notion 宣布其笔记平台现已支持 Kimi K2.7 Code 开放权重模型。该模型由月之暗面开发，专注于代码生成与理解。用户可直接在 Notion 文档内调用该模型辅助编程。模型权重已公开发布，开发者可自由获取。

AI产品 Kimi K2.7 Code Notion 开放权重模型

推荐理由：Notion 里直接能用 Kimi 的代码模型了，写代码记笔记一步到位，很方便。

原文

00:52

宝玉@dotey

83°

Mitchell 在早期访问中对 GPT 5.6 Sol 和 Fable 进行了对比。他将 Sol 比作魅力十足、高效能干的同事，Fable 则是痴迷于特定领域的天才隐士。据 Mitchell 称，Sol 在速度和整体工作质量上优于 Fable，而 Fable 在针对性调试、安全和性能目标上无敌。他认为 Sol 在日常使用中更令人愉快，但 Fable 在高度定向任务中无对手。

AI模型 GPT 5.6 Sol Fable 推理模型

推荐理由：Mitchell 用同事和隐士的比喻讲透了两个模型的区别——日常编程选 Sol，底层安全调试选 Fable。

原文

00:34

官方账号Greg Brockman@gdb

OpenAI 的 GPT-5.6-Sol 模型经过两个多月在 Next.js 日常开发中的测试，表现出色。它能理解架构权衡、调查复杂 issue 报告，并在修复 bug 时考虑代码库其他部分。仅需简短提示即可指导，甚至独立完成了 Next.js 服务器的大规模重构（包括测试套件、部署测试）。相关 PR 将在 Next.js 16.3 发布后合并。

AI模型 GPT-5.6-Sol Next.js OpenAI

事件专题

推荐理由：OpenAI 的 GPT-5.6-Sol 不只是聊天，能直接干复杂编程活了，比如自己重构 Next.js 服务器。想看看模型实际生产力有多强？这篇实测值得看。

原文

7月8日

23:43

官方账号Replit@Replit

Replit 发布新功能“社区个人资料”（Community Profiles），允许用户创建个人主页并展示 Agent 使用活动和检查点。专业版用户还能看到 Replit Power Ranking 排名，反映代码创作活跃度。用户可登录后认领资料页、精选项目并与朋友分享统计。该功能旨在为“氛围码者”（vibe coders）提供工作量证明。

AI产品 Replit 社区个人资料编程助手

推荐理由：Replit 出了个新功能，能把你用 Agent 写代码的活跃度做成图，还能在社区里排个名，挺适合晒战绩的。

原文

17:37

17:37IT之家（博客/媒体）

72°

Perplexity 开发了内部 AI 编程工具，代号 Teammate，公司工程师自 5 月起已投入使用。该工具支持多模型兼容，旨在全程统筹软件项目全流程工作。Perplexity 估值达 200 亿美元，若正式发布将直接与 Cursor、Anthropic、OpenAI 等已有的 AI 编程产品竞争。公司 CTO 丹尼斯·亚拉茨认为 AI 生成的代码只要通过质量校验就不存在劣质问题。

AI产品 Perplexity Teammate 编程助手

事件专题

推荐理由：Perplexity 搞了个内部编程工具 Teammate，工程师已经用上了。支持多模型，未来可能跟 Cursor、OpenAI 抢生意。

原文

09:37

官方账号Greg Brockman@gdb

天体物理学家Chi-kwan Chan曾协助捕获首张M87*黑洞图像，现利用OpenAI Codex模型制作首个黑洞视频。Codex基于GPT-3架构，能根据自然语言描述生成代码。Chan通过Codex编写程序处理射电望远镜数据，实现动态可视化。该视频将展示黑洞周围物质运动细节，填补静态图像无法呈现的时空变化。

AI产品 Codex OpenAI Chi-kwan Chan

事件专题

推荐理由：OpenAI的Codex被科学家拿来写代码做黑洞视频，不再是写脚本小工具，能直接处理天文数据生成动态影像。

原文