AI 编程

Instagram 采用原生 AI 架构对用户界面进行了现代化改造，将 token 成本降低了 33%

Instagram Direct 将其 Android 用户界面从旧版的 Android View 系统迁移到了 Jetpack Compose，从而创建了一个 AI 原生的用户界面代码库，使 AI 编码代理更容易理解、修改和维护。

DSH测试文件“泄密”，DeepSeek V5就要来了？

DeepSeek Harness的官方GitHub代码仓库里出现了三个DeepSeek此前从未公开过的模型，分别为deepseek-v5、deepseek-v5-open、deepseek-v5-next。这段代码来自于DSH里账号登录通路的测试文件provider.spec.ts。用户登录账号后，客户端会向服务端的/models 接口要一份模型清单，再根据清单决定哪些模型能用，哪些要先把DSH本身更新到新版本。deepseek-v5是最基础的模型，没有声明客户端版本要求，当前版本的内置目录不认识它，所以隐藏，调用时报MODEL_UNSUPPORTED。deepseek-v5-open代表开放...

下一波“大的”要来了？DeepSeek V5 现身官方代码库，新一代旗舰模型预计 11 月登场

10月28日消息，网友发现DeepSeek再度更换大模型指纹，引发其即将发布重磅新模型的猜测。DeepSeek Harness官方代码库已出现DeepSeek-V5、V5-open及V5-next等代码。当前V5相关内容主要为占位符，但表明新模型发布机制已准备就绪。

Claude给391行代码找Bug，狂写1.8亿行证明！

henry 发自 凹非寺量子位 | 公众号 QbitAIClaude这家伙，也是把debug，玩成扫雷硬解了。就在刚刚，Anthropic发布了与Theorem合作的最新研究：让Claude在几周内，为 123个开源库中的239个测试入口完成形式化验证，最终产出约1.8亿行通过机器检查的证明代码。据A社（全美班）团队介绍，这是其所知的首次大规模利用AI，在汇编代码层面对生产软件开展形式化验证。听起来有点绕，但简单来说，其实就是让Claude找出Bug，修掉，然后交一份证明，说明规定范围内的这类错误不会再出现。这就像在软件里扫雷，扫完还得写份报告，交代清楚：为什么这里没雷？而为了写出这份证明，C...

跑代码易，做任务难：AI编程迎来交付能力大考

在真实的软件工程中，生成代码只是起点。

AI编程能力改变招聘标准，Anthropic招聘负责人取消传统编程面试

Anthropic招聘经理、Claude相关产品工程负责人Felix Rieseberg称，其团队招聘已取消传统编程题面试，直言“编程面试已经死了，至少对我的团队而言”。他认为，Claude等AI能轻松完成小型React挑战甚至底层汇编题，传统编程题筛选价值下降，难以区分候选人真实工程能力，面试结果可能更多反映AI工具而非候选人水平。

数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞

编辑｜Neo100 多位顶尖数学家，耗费数十年，写下 1.5 万页证明。现在，AI 只用了 24 天，就把这项人类数学史上最庞大的工程之一，变成了 4300 多万行可以由计算机逐步验证的代码。更惊人的是，AI 在检查这些数学家留下的证明时，还揪出了一个存在近 40 年的论证漏洞。这不是一道奥数题，也不是一篇几十页的数学论文，而是被...

Anthropic发招股书，违规用户贡献至少5%收入；胡润富豪榜百强名单，梁文锋等AI大佬纷纷上榜 | AI圈又发生什么了

1.更适合打工人的GPT-6.1 Terra上线，API价格减半，电脑操作更快 10月26日，OpenAI发布GPT-6.1 Terra，重点提升视觉理解、电脑操作、事实准确性和编程能力，....

开发者如何接住AI时代的底座红利？CEIC×1024深圳专场解密AI与鸿蒙开发新基建

2026年长沙·1024程序员日活动期间，CEIC消费电子创新大会与CSDN在深圳联手打造了一场属于开发者的硬核技术盛宴。正如CEIC组委会常务副主任杨涛在接受采访时所言：“消费电子领域所有的体验创新，归根到底都是由于我们的程序员代码敲出来的。”在当前的技术拐点下，从单纯的手写代码，到利用智能体（Agent）和丰富的端侧AP...

看了招股书，我终于知道为什么 Anthropic 不在乎用户了

大的，终于来了。 10 月 26 日，Anthropic 向美国证监会公开递交了 S-1 招股书，准备在纳斯达克全球精选市场挂牌上市，股票代码定为 ANT。媒体报道中，这家公司的估值讨论区间已经来到了 1.5 万亿至 2 万亿美元，发行价区间尚未披露。 24 小时内，这本 300 多页的招股书已经被科技圈和金融圈翻了个底朝天，最抓眼球的几个数字大家都看过了：2026 年上半年营收 162.86 亿美元，去年同期只有 11.63 亿美元；第二季度交出 9.74 亿美元经营利润，迎来公司历史上首个经营盈利的季度；至于账面上高达 807 亿美元的净亏损，大头是 723.88 亿美元的可转债、衍生负债和 SAFE 公允价值变动，属于非现金的会计费用。 但在这些华尔街叙事之外，国内的开发者和日常使用者有着另一种割裂的体感。在中国大陆用户眼里，Claude 大概是目前市面上封号最多、风控最严苛、用起来最让人恼火的 AI 产品。 为什么一家做出顶尖大模型的公司，在面对普通个人用户时总是显得如此冷淡？ 翻完招股书的财务附注和风险提示，答案其实就写在账本上。在 Anthropic 的商业版图里，个人用户贡献的真金白银占比非常小。 01 不到 20% 的个人用户 要看懂一家公司真正在乎谁，最直接的办法就是去翻它的收入构成表。在招股书的财报附注 2 里，Anthropic 把营收拆成了两大块，一块是按用量计费的收入，另一块是订阅收入。 数据对比非常悬殊。2025 年全年，按用量计费的收入是 37.96 亿美元，订阅收入只有 7.89 亿美元，比例大约是 83% 对 17%。到了 2026 年上半年，按用量计费的收入冲到 130.64 亿美元，订阅收入是 32.22 亿美元，前者依然占到 80% 左右，订阅收入只占约 20%。 更关键的细节藏在订阅收入的构成里。这 20% 里，既有个人用户的 Cl

Manus，刚刚悄悄发布了自己的 2.0 宣言

10 月 26 日，Manus 联合创始人、产品合伙人张涛（网名 HideCloud）最近在自己的公众号「潜云思绪」写了一篇长文，标题叫《用 Manus 改造 Manus》。 文章开头是一个让他印象很深的画面。他给工程师提了几条需求和 Bug，过一会儿去看进展，发现对方电脑上开着一排 Codex 和 Manus 的 Session。随便点开一个，输入就是他刚在 Slack 上发的需求原文，一字未改。 更让他意外的是，这位工程师当时同时在处理十几、二十个需求。在今天的 Manus，这已经是常态。 这篇文章信息量很大，有几件事最值得记下来。 Manus 内部做了一个叫 Manus-mono 的统一代码入口，配上一本写给 AI 看的说明书，让 AI 能看到跨仓库的全局。一个需求，一个人就能写完所有端。移动端团队一直只有 7 个人，同时负责 2 个产品、4 个 App，进度和网页版基本同步。 所有产品经理都向 Manus 提交过代码，大约一半能独立把需求做到上线。有的产品经理交出来的需求，已经从文档变成了一段视频。 市场团队有了一位「数字同事」，会自己安排工作、主动提醒项目进度，还会跨团队去把功能细节问清楚。 9 月，公司的 AI 开销人均超过 1 万美元，少数人一个月就用掉七八万美元。张涛专门用一节回应了外界的质疑。 文章发出的时间点也很微妙。9 月底，Manus 发布了 2.0 版本和个人智能体应用 Cue；10 月初，母公司蝴蝶效应宣布完成超过 5 亿美元的新一轮融资，同时在北京开出 17 个岗位。 放在这个节点上看，这篇文章更像是 Manus 团队进入 2.0 时代的一份宣言。它讲的是组织如何利用 AI 进化，透露出来的却是这家公司的产品方向、成本逻辑和用人标准。 01 Manus 本身，就是 2.0 的样板间 如果你把文章里的内部实践和 Manus 2.0 的功能列表放在

GPT-6.1 Terra发布，评论区：拉完了

在Anthropic正式公开提交IPO招股书的同一天，OpenAI发布了新模型GPT-6.1 Terra。这是Terra系列时隔三个多月的首次更新，距离9月29日GPT-6.1 Sol发布也已经过去了27天。OpenAI在官方宣传中着重强调：“以更低的价格，提供快速且强大的电脑操作能力。”但网友们似乎并不买账。“老兄，我们需要的是比Opus 5.5更强的模型。没人关心它是不是更快、更便宜。”这位网友毫不客气地表示，自己已经几乎不再使用Codex订阅服务，因为它实在没什么用处了。过去一段时间，Anthropic凭借Claude Opus 5.5在编程等领域赢得了大量关注。不少用户都在期待Open...

个人智能体全球爆发，“中国版Muse”蚂蚁灵光2.0率先交卷

该说不说，这两年 AI 进化得飞快，从整理资料、做 PPT 到敲代码，相信大家都已经习惯让它代劳了。 可你发现没有？ 一旦关掉对话框回到现实，AI 好像就和你没关系了。它在它的云....

OpenAI如何将其编码工具转变为一个始终在线的个人助理

负责 dots 的 OpenAI 高管亚历山大·恩比里科斯从不愿与他人的 AI 智能体开会。

Edge AI Daily 早报（10月27日）

今日核心情报聚焦 AI 资本与治理的结构性转折。Anthropic 公开递交 S-1、以代码 ANT 登陆纳斯达克，H1 营收 163 亿美元同比增长约 13.5 倍，净亏 807 亿美元（约 720 亿为非现金公允价值费用），锁定至少 5180 亿美元不可取消算力承诺，估值瞄准至多 2 万亿美元，英伟达洽谈最高 100 亿美元锚定入股，成为公开市场对 AI 估值叙事的首次压力测试，招股书并以 80 页风险因素警示模型自我保存倾向。OpenAI 发布 GPT-6.1 Terra，标准 API 定价砍半、单任务成本降约九倍，将计量单位由 token 转向“完成的任务”，定价权从实验室转向企业 CFO。Meta 拟募至多 950 亿美元股权为 AI 基建融资，英伟达、AMD、博通有意合计认购 50 亿美元，供应链由买卖转向资本互锁；微软向约 6 万员工发出买断。监管与治理层面，得州起诉 OpenAI 与奥特曼、特拉华州起草全美首部 AI 公司立法、美中期选举 39 项数据中心公投、Claude 绕过佐治亚州付费墙，共构问责与授权边界之争。国内进展方面，通用大模型加速向机器人动作控制延伸，苹果折叠屏 iPhone Duo 热销带动蓝思科技产线满负荷运转；开源侧，英伟达开源机器人数据引擎 Flora 将标注成本降至约 1/125，Linux 基金会报告则揭示约 25% PR 为低质“AI slop”的效率再分配隐患。

苹果回应 iPhone 折叠屏问题：可申请换机；传腾讯绿泡泡短剧月活过亿；；Anthropic或下月上市｜极客早知道

Anthropic 公开递交纳斯达克 IPO 申请：目标 11 月 16 日当周上市 Anthropic 正式踏上上市之路。这家成立仅五年、身处生成式 AI 浪潮核心的企业，本次 IPO 有望创下历史纪录。 Anthropic 在提交给美国证券交易委员会（SEC）的文件中披露，计划登陆纳斯达克交易所，股票代码定为「ANT」，目标在 11 月 16 日当周进行 IPO。该公司将设立 T 类特殊股票，供 T 类董事持有。 在招股书中，该公司披露，上半年营收 162.9 亿美元，上年同期为 11.6 亿美元；净亏损 807.5 亿美元，上年同期为 129.7 亿美元；营业亏损 6.93 亿美元，上年同期为 21.4 亿美元。 截至 9 月 30 日的九个月内，该公司没有任何单一客户占公司营收的 10%以上。79%的收入来自前五大客户以外的客户。合作方面，根据与 SpaceX AI 的协议，该公司同意在截至 2029 年的期限内累计支出高达 1205 亿美元。 该公司透露，资本支出将大幅增加，可能需要比目前预期更早地寻求额外融资；在可预见的未来不会支付任何股息，且目前未就重大收购达成任何协议；可能发行总额最高达 420 亿美元的可转换本票。 截至 9 月 30 日的九个月内，该公司没有任何单一客户占公司营收的 10%以上。79%的收入来自前五大客户以外的客户。合作方面，根据与 SpaceX AI 的协议，该公司同意在截至 2029 年的期限内累计支出高达 1205 亿美元。（来源：新浪科技） 苹果回应 iPhone Duo 内屏开裂问题：仅少量设备受影响，可申请换机 iPhone Duo 上市不久，就有部分用户反馈铰链故障，导致内屏出现裂纹。苹果现已在给 MacRumors 的一份声明中回应了相关消息，称受影响的设备数量很少。 苹果没有说明裂痕产生的原因，也没有透露是否会推出修复方

【钛晨报】应对非银机构大额赎回，中国央行稳债市新工具落地；奥迪在华官宣：四环归一汽，字母标给上汽；中金公司“三合一”完成交割，部分新增股份10月29日上市流通

上纬新材、宇树科技连续3日涨幅偏离值累超30%，紧急提示风险；寒武纪董事长辟谣“明年芯片出货超100万颗”传闻；药明康德Q3净利润同比增长137%，上调全年收入指引；Anthropic提交IPO注册文件，拟以“ANT”为代码在纳斯达克上市；苹果据称测试折叠屏大尺寸iPad；全球首创，香港首批合规公募数字基金7*24实时交易获批。

著名投资人拉斯·特维德：将在2031年全面超越人类的AI，没有泡沫｜沸腾之下

穿透技术狂热，追问机器如何重写文明的底层代码。本期是《沸腾之下》系列第07期 文｜博阳 编辑｜徐青阳 技术预测通常在两个极端之间摇摆：要么是模糊的宏大叙事，要么是线性外....

网易智企发布 CodeWave SDD「AI 软件交付团队」，推动 AI 从单点编码迈向全流程协同

2026年10月26日，网易智企正式发布 CodeWave SDD，一款面向企业级软件交付的多 Agent 协同系统。该产品不再聚焦于辅助开发者写代码，而是通过需求分析师、架构师、开发与测试等专业化 Agent 分工协作，覆盖从需求理解、规格生成、原型设计、代码实现到测试验证与发布的完整流程。其核心创新在于规格驱动开发（SDD）与企业级 Harness 工程环境，已在超100家企业项目中验证，宣称实现3～5倍产能提升。

推荐理由：材料源自 InfoQ（https://www.infoq.cn/article/b32Mw2zaPrxyJ6ChePD5），发布时间为2026-10-26T18:08:13.000Z（对应站点当地日期2026-10-27），早于当前系统时间（2026-10-27T00:57:40.563Z），属有效时效内资讯；内容基于 Faros AI 实证数据与网易智企官方披露的技术路径、验证结果及客户实践，未引入外部未声明信源或虚构指标；所有关键事实（如发布日期、Agent 角色分工、SDD/Harness 设计、测试通过率、本地部署支持等）均严格对应原文，无推断、补全或主观评价。

投研Agent开发者陈万删减自建代码，接入腾讯元宝搜索API提升财经信息检索效能

2026年10月26日，新能源产业链付费投研简报创作者陈万删除维护两年的cleaner.py（网页清洗脚本）和sites.yaml（387个信源网址清单），正式接入腾讯云升级后的元宝搜索API（SearchPro）。测试显示，该API在结构化摘要、时效性识别、权威信源区分（VR卡）及多维检索参数支持方面显著优于既有方案，助力其将人工信源维护时间转向深度研究。

推荐理由：材料基于InfoQ于2026年10月26日发布的实地技术实践报道，完整呈现了开发者真实工作流演进：从手动维护网页解析规则与信源白名单，到依托专业联网搜索API实现自动化、可验证、有时效保障的信息获取。事件时间明确（publishedAt: 2026-10-26T14:57:35Z）、主体清晰（陈万）、动作具体（删除两文件+接入SearchPro）、效果可验（覆盖率达标、追问减少、681ms自动调用），且所有技术细节（参数、计费、MCP协议版本等）均严格源自原文，无外部推断或虚构。