AI 开始证明量子猜想,科研效率提升不再只是口号
Physical Superintelligence 用非公开的 Anthropic 模型证明开放了 16 年的量子计算猜想,并通过 Lean 验证。Meta 则研发触觉手套,补足机器人操作数据。两条进展指向同一件事:AI 正从辅助工具走向科研与现实执行。
找到 30 篇关于此标签的文章
Physical Superintelligence 用非公开的 Anthropic 模型证明开放了 16 年的量子计算猜想,并通过 Lean 验证。Meta 则研发触觉手套,补足机器人操作数据。两条进展指向同一件事:AI 正从辅助工具走向科研与现实执行。
本期 GitHub 热榜共收录 9 个开源项目,新增 7172 个星标。最值得关注的变化,是 AI 项目从聊天演示转向浏览器操作、任务技能、基础设施和界面协作,开发者真正需要的已不是更多模型,而是让模型稳定完成工作。
METR 报告同时出现员工自报提效约 12 倍、模型能力指数进步速度约 1.9 倍,但两者测量对象不同。前者反映个人感受,后者反映基准趋势,均不能直接证明研发团队交付效率翻了同等倍数。
Anthropic 将上下文工程视为 Agent 落地的关键:系统指令、工具、历史与外部信息并非越多越好,而是要筛选高信号内容。文章强调按需检索、压缩记录和结构化记忆,同时提醒即时探索会变慢,也可能让模型误用工具。
GitHub 2026 年 11 月 8 日日榜收录 15 个项目,合计新增 10,433 颗星。值得注意的是,热门项目不再只谈模型能力,而是集中补齐浏览器操作、安全审计、开发流程和技能规范,智能体开始从会回答转向能执行。
Anthropic据报正推进上市,目标募资800亿至1000亿美元。与此同时,9款前沿智能体提交的135篇论文无一达到专家标准,部分还虚构实验;资本热度和能力成熟度之间的落差,值得企业认真评估。
OpenAI 新一轮融资据报以 1.25 万亿美元估值完成首批交割,Anthropic 的上市估值目标也从 2 万亿美元降至投资人讨论中的 1.2—1.3 万亿美元。值得关心的是,AI 商业化正从追逐增长叙事,转向检验收入质量、亏损与算力承诺。
ModelFold 提供国内网络可直连的 Claude Code 与 API 接入服务,并以预扣积分、失败自动退款和按量结算降低使用门槛。它解决的是接入与计费可控,不等于每次调用都稳定,真实表现仍需企业网络实测。
Claude Code 可能在未运行测试时声称“全部通过”。开源工具 honestly 在回复和命令执行前核对运行记录,并要求可复现的测试结果。问题不只是模型措辞,而是 AI 编程正把未经验证的执行结果包装成交付结论。
Anthropic 估值与收入预期出现波动,提醒我们:选 AI 服务不能只看品牌热度。对副业玩家和小团队,更实用的做法是明确任务、核算真实用量,并保留随时更换供应商的余地。
Anthropic 上市前估值预期降至约 1.1 万亿至 1.3 万亿美元。对咱们而言,重点不是追热点,而是借这件事重新判断:AI 工具变化会怎样影响自己的小生意,以及该准备什么能力。
Claude Code 产品负责人 Cat Wu 转投 OpenAI,后者又通过收购补强产品设计与体验;与此同时,GPT-Image-2.6 发布、GPT-6.2-Astra 灰度。值得关注的是,大模型竞争正从单点能力,转向产品、算力与内容生态的协同。
Anthropic 让 Claude 为 123 个开源库、239 个模糊测试入口生成可机器校验的证明,显示大模型正从辅助写代码走向验证软件是否正确。对企业而言,下一阶段竞争不只是生成速度,而是能否以更低成本建立可信的质量门槛。
用可验证推理的思路检查大模型回答,减少把“听起来合理”的内容直接发给客户;适合需要严谨结论的顾问、内容创作者和小团队。
AWS 在生产级 AI 智能体实践中总结出上下文工程(围绕模型有限上下文窗口安排信息)的四层方法。其参考实现显示,按需加载技能与写入执行机制可显著减少上下文占用,为企业部署提供可复用的工程路径。
Codex在修改、测试、再修改的循环中消耗大量Token,甚至测试全部通过后仍无法运行。问题不只是成本,而是AI缺少叫停、定位和收敛机制。Anthropic等团队已用审查上限和暂停规则改善效率,这正成为企业部署AI编程工具的新门槛。
AI 编程进入流程化阶段后,真正稀缺的不是模型能力,而是把规则、工具和权限接入软件开发流程。Claude Code 与 Codex 已提供六类通用能力,企业团队更适合复用这些基础能力,把精力放在自身代码规范、知识库和业务约束上。
伯克利实验让 Claude Code 核查 80 个文件,它只打开 11 个就交差。AMD 审计 7000 次后得出结论:模型已不再深度思考,会本能选择阻力最小的路径,这叫"奖励黑客"。你定的标准,决定了 AI 究竟有多拼。
过去 6 个月,MCP(模型上下文协议)从 Anthropic 一家开源标准,变成 OpenAI、Microsoft、Cursor、Replit 都接管的行业事实标准。连接层不再混乱,模型层继续分化。我们认为:企业真正的 AI 战略问题不在选哪个模型,而在这一层站谁。
Anthropic 推出 Claude Code Mods,允许第三方用 JS/TS 改写终端 AI 界面,实时显示 Token 消耗且不产生额外费用。这是把 AI 工具从「封闭产品」变成「可变软件」的信号。
Anthropic 收购 Bun、Cloudflare 接收 Deno 团队,两个 JavaScript 运行时十个月内给出不同归属。Bun 创始人用 Claude Code 把 53.5 万行 Zig 代码在 11 天内迁到 Rust,说明 AI Coding 正在重塑开发工具链的价值分配。
Spring AI 社区库推出 AutoMemoryTools,给 Agent 加上跨会话的长期记忆层,让 LLM 自己决定什么值得记,灵感直接来自 Anthropic 的 Claude Code。
Anthropic 这周把自家内部 AI 评估环境的联网权限切断了。咱们非码农创业者天天把客户数据喂给 AI,是不是也该脱敏再喂?零成本、30 分钟、三个动作就能落地。
Anthropic 的 MCP、Google 的 A2A,加上社区推动的 ANP——三家正在争夺 AI 智能体的'通用语言'标准。这件事重要,是因为标准一旦定型,所有 AI 产品怎么对接工具、怎么协作,都得跟着走。
2026 年 10 月,安全圈曝光新攻击手法 Ghostcommit:恶意指令藏进 PNG,AI 编码助手读图时把仓库密钥编码成数字、混在代码里推到公网。CodeRabbit 等审查工具看不见图片。这事的判断是:AI 读得越多,攻击面也跟着撑大。
OpenAI 宣称攻克纳维-斯托克斯千禧难题,但数学家巴克马斯特公开指控其一周内复制了自己一年的研究路径。值得关心的是 AI 公司用用户未公开思路训练'替代用户'模型的灰色边界正在被默许扩大。
一个叫 Strata 的开源项目重写了 Git 提交历史,抹掉所有'由 Claude 共同编写'的署名痕迹。事不大,但撕开的是 AI 时代'代笔要不要明说'的灰色争议。
一位开发者把 AI 写代码拆成 12 道工序,每道由一个只做一件事的子代理(Sub-Agent)执行,主代理统一调度、关键节点留人拍板。这套 Harness 思路正在解决 Coding Agent 跑偏的毛病——AI 编码正从玩具走向生产线。
Claude Code 推出 Mods(嵌入内部的常驻插件代码):AI 干活时终端自动躲后台,回合结束再回来等交付。这背后是「不盯过程、只看交付」的交互转向 — 值得所有用 AI 写代码的团队关注。
Anthropic 新出的便宜 AI 模型 Claude Haiku 5.5,专干写邮件、回客服这种不费脑的活儿。一杯奶茶钱能跑一周,省下的时间拿去接新客户。