跳到正文

#工具与流程

今日 18 条
9月28日周一
  1. 新智元（公众号）30

    丘成桐弟子带队用 Lean 与 AI 完成庞加莱猜想机器验证，470 万行代码零 sorry

    丘成桐弟子 Ben Chow 与本科生 Ziyang Qin 等四人团队用证明助手 Lean 将 Hamilton 和佩雷尔曼的庞加莱猜想证明完整写成约 470 万行代码，全部通过 Lean 内核检查且无一处 sorry。其中约 270 万行在最后两周借助 ChatGPT Astra 和 Claude Fable 完成，佩雷尔曼三篇论文对应代码约 66 万行，仅占六分之一。

9月27日周日
  1. 傅盛（公众号）50

    傅盛用 GPT-6 接管微信数小时，零失误发完 120 多条中秋祝福

    傅盛让 GPT-6 在 Codex 中直接操作个人微信，一个下午连续数小时为 50 位公司骨干发送个性化祝福、并逐条回复收到的 70 多条中秋祝福，全程零失误。面对微信无接口、聊天记录加密、系统截屏被防三道墙，GPT-6 自行摸索出调用微信自带截图功能“像人一样”读取画面，并将方法存为技能复用。相比年初靠脚本给 611 人拜年，此次模型自己上手完成数千步长程操作，中途被打断也能续做。

  2. 机器之心（公众号）22

    联通云犀工作流智能体：如何让通信数据成为企业 AI 的落地入口

    中国联通推出联通云犀工作流智能体，从企业通信场景切入，将通话信息转化为 AI 可理解的数据，让 AI 嵌入现有业务流程。平台围绕 AI 数析、AI 助销、AI 助手三类应用，已服务超 6 万家企业、800 万用户。某快递品牌采用 AI 数析后异常件响应时长从小时级压缩至分钟级；某金融团队人均转化率提升 2.3 倍，新人培训周期从 2 周缩短至 3 天。

9月26日周六
  1. 新智元（公众号）28

    生数科技 Vidu S2 实时互动模型首秀：AI 主播紫樱直播 5 小时营业额过万

    生数科技发布实时交互与编辑模型 Vidu S2，其 AI 主播紫樱在中秋节完成直播首秀，开播不到 5 分钟涌入 2 万人，上岗首日开播 5 小时营业额过万，最终营业值达 24184。Vidu S2 包含支持实时语音交互与复杂动作控制的 S2-Avatar 和可对视频流持续实时编辑的 S2-Editing，通过 SRF 训练技术解决长时间流式生成的画面崩坏与漂移问题。

  2. 新智元（公众号）38

    Opus 5.5 干一半就停？Anthropic 官方指南揭秘：是 Agent 程序把汇报当成了完工

    Anthropic 发布 Opus 5.5 提示词指南，指出 Agent 干到一半停下并非模型偷懒，而是旧程序把模型的纯文本进度汇报（end_turn）误判为任务完成。官方给出任务清单、小模型验收、连续续跑两三次即强制转人工三招，并列出 thinking 不可关闭、tool_choice 不可强制等四处会返回 400 错误的 API 改动。

  3. Datawhale（公众号）22

    Google DeepMind 发布 Dream-RSI：用演化世界实现递归自我改进

    Google DeepMind 联合弗吉尼亚大学和马里兰大学发布 Dream-RSI，将历史探索数据构建为可零成本重放的模拟器，让上万候选探索策略离线高速重跑，只更新策略代码而不动底座模型。在算法工程、数学优化和 GPU 算子工程中，该方法把搜索算力开销降低一到两个数量级，代码已开源。

  5. 极客公园（公众号）22

    DeepSeek Harness 桌面版悄然上线；OpenAI 被曝筹备 ChatGPT Pro Max 订阅；微软发布新版 Copilot 超级应用｜极客早知道

    DeepSeek Harness 推出官方桌面版，提供标准、PTC、极简、创造四种工作模式，内置智能体团队、语音输入等 6 个官方插件。OpenAI 被曝正筹备 ChatGPT Pro Max 订阅层级，推测月费 500~600 美元。微软正式发布新版 Copilot 超级应用，整合 Home、Code、Autopilot 三个标签页。

9月25日周五
  1. Datawhale（公众号）22

    1 小时本地训练 Jev 决策模型：Datawhale 发布喂饭级教程

    Datawhale 发布教程，指导在本地用 Qwen3-0.6B 底座全参数微调判别式决策模型 Jev，一张显卡即可跑通训练、选优、校准到本地接口的完整流水线。在 DGX Spark 上 600 步训练耗时约 49 分钟、峰值显存约 34 GB，测试集 2000 道决策题准确率达 78.05%。配套脚本已开源，数据与权重均公开可获取。

  4. 极客公园（公众号）22

    高通骁龙峰会：AI 手机只是起点，要为智能体铺全栈技术路线

    高通在骁龙峰会发布第六代骁龙 8 超级至尊版和第六代骁龙 8 至尊版双旗舰移动平台，均进入 2nm 制程，CPU 主频首次突破 5GHz，Hexagon NPU 支持最高 300 亿参数 MoE 模型在终端侧运行。高通同时预告 HBC 高带宽计算将以协处理器形式进入骁龙平台，细节将在 MWC 巴塞罗那 2027 发布，并称正从设备芯片转向覆盖终端、边缘与数据中心的智能体 AI 全栈基础设施。

  5. 新智元（公众号）22

    Jev 开发商 TypeSafe AI 洽谈超10亿美元融资，估值9天从2亿飙至100亿美元

    Jev 开发商 TypeSafe AI 正洽谈超10亿美元融资，投资人愿按100亿美元以上估值进场，而9天前其4000万美元种子轮的估值仅2亿美元。Jev 是只做选择、打分和是否判断并附概率的「System One 模型」，输入每百万 Token 定价0.042美元、输出免费，上线 Vercel AI Gateway 24小时内被近13%付费团队使用，为 GPT-5.6 家族的2倍。

9月24日周四
  1. Datawhale（公众号）36

    给项目建 Agent 知识库：一套完整方法论

    Datawhale 成员王大鹏提出给项目建 Agent 知识库的完整方法，核心是把专家知识拆成"问题结构 × 领域知识"和"专家认知 × 事实验证"两层，并整理出一份优先读取的"专家底座"入口文档。知识按领域知识、项目设计与实现、接口文档、使用与运维资料、日期目录与草稿区分开保存，以适配不同更新速度。作者强调每条结论须保留来源与最近核验时间，并用新问题反向检查知识库是否有效。

  3. 极客公园（公众号）34

    阿里云在中国汽车公有云市场份额达 45.2%，千问座舱 Agent 与真武 V900 芯片亮相云栖大会

    沙利文报告显示阿里云在中国汽车公有云市场份额达 45.2%，在智能驾驶、智能座舱等六项赛道均列第一。阿里云推出千问座舱 Agent，将淘宝闪购、高德、飞猪等生态能力封装为统一 Agent 接口，车企一次接入即可调用。平头哥发布新一代 AI 芯片真武 V900，性能为上一代真武 M890 的三倍，将于 2027 年第一季度量产。

  10. Meta 工程博客22

    Meta 为 AI 眼镜引入 Private Processing 隐私计算

    Meta 将 Private Processing 机密计算基础设施扩展到 AI 眼镜，AI 模型在机密虚拟机（CVM）内运行，Meta 自身也无法访问用户数据。该方案基于 CPU 与 GPU 的 TEE 硬件能力，提供数据机密性、数据完整性与代码完整性三项保证，并通过远程认证报告校验软件镜像。此前 Private Processing 已用于 WhatsApp 和 Meta AI 应用。

9月23日周三
  1. 极客公园（公众号）36

    从数人头到数智能体：AI 原生如何重塑企业生产力

    阿里云披露 Token 相关 MaaS 业务 ARR 达 160 亿元，加上 AI 云后超过 400 亿元，企业竞争标尺正从员工编制（Headcount）转向可调度的智能体数量（AgentCount）。千问 3.8 Flash 将输入成本降至每百万 Token 0.8 元，千问 3.8 Max 在长程规划、工具调用和复杂编程上越过生产门槛，AI 接管效率需达人力 3 到 5 倍企业才会改造流程。

  5. 机器之心（公众号）36

    4亿副耳机等待AI改造：Hojo 恒聚愿景如何接入传统硬件供应链

    Hojo 恒聚愿景正为烽火宏声、奇智创新、科奈信、迈斯高等传统耳机供应链厂商提供 AI Stack，把自研 ASR、TTS、全双工语音模型与 App、固件、芯片适配串成完整链路。目前 Hojo 深度对接合作伙伴超 10 家，其中 5 家正式签约，签约伙伴年度计划出货量合计超 500 万台。Hojo 估算耳机年出货超 4 亿台，但每卖出 100 台仅约 2—3 台是 AI 耳机。

  7. 得物技术（公众号）22

    得物交易搜索如何用生成式召回实现范式跃迁

    得物交易搜索团队将召回从判别式检索改为生成式建模，让模型直接生成用户想要的商品而非从候选集中寻找最相似结果。团队以Qwen3-0.6B为共享基座构建User/Item/Query三个解耦模块，并落地HLLM深度语义表征、HSTU生成式序列建模和基于语义ID的统一生成式召回。此前已通过Qwen2.5-VL-7B-Instruct等完成LLM文本索引增强与多模态向量表征升级。

  8. 字节跳动技术团队（公众号）27

    OpenViking × LLM-Wiki：让团队文档不再“各说各话”

    OpenViking 上线 Compile 功能，可基于自定义或预置的 LLM-Wiki skill，把飞书文档、本地文件、GitHub 仓库等资料编译成带出处、相互链接的团队 Wiki。该功能需开通火山方舟 Managed Agents 并配置推理接入点，生成的 Wiki 支持成员查看编辑，并可通过 MCP、CLI、API、SDK 接入 Codex 等 Agent 检索。