日期：2026年11月11日 星期三
11月10日的几条AI消息，关注点逐渐落到任务能否完成、结果能否核验。Google DeepMind介绍AlphaProof Code：智能体生成证明，再交给形式语言与机器核验；Google开放Gemini 4 Carbon，并发布面向视觉知识工作的MKA基准。OpenAI推出Businesses in ChatGPT及Business Agent相关功能，还与Upwork发布自由职业市场研究。另有微调数据污染研究提示，训练与交付环节的安全检查不能省。
Google DeepMind在11月10日介绍AlphaProof Code研究。人类专家先审定形式化安全规范，多个AI智能体随后生成Lean证明，由Lean内核做机器检查。研究对象是Signal协议参考实现libsignal的一部分代码：团队把协议层的安全性质与AArch64机器代码接起来，针对PQXDH握手和Triple Ratchet验证前向保密、身份认证、密钥泄露后的安全恢复等指定性质。团队报告，四周集中攻关生成约650万行Lean证明代码；他们还重新引入两处曾修复的缺陷，测试机制能否辨识。
这项工作没有证明Signal整个应用程序无条件安全，更不能保证软件今后没有漏洞。它的实际价值在于：对边界明确的安全性质，工程团队可以反复检查证明，同时把更多精力用在规范是否准确、编译目标是否对应、可信计算基础是否可控上。工业控制、能源、医疗系统若采用类似方法，可以先从通信协议、权限检查或固件升级链路等模块做起。
Google在11月10日宣布，Gemini 4 Carbon面向开发者、企业和部分订阅用户提供，重点放在复杂编码、调试、科学研究、网络安全及持续多步骤任务。Antigravity开发平台预览/swarm功能可把任务分给多个协作智能体，让它们在平行工作区进行架构设计、执行和反向核验。官方列出的限时公开API价格是每百万输入token 2美元、每百万输出token 10美元，并注明11月30日后公开版本价格将调整；实际使用仍要看当期服务条款。
协作智能体可分担接口设计、迁移测试和安全审计。每个环节都能记录使用的工具、任务上下文、产物和交叉检查结果。企业可按任务完成率、成本、日志和版本记录评估协作效果。
Google与Artificial Analysis在11月10日推出Multimodal Knowledge Agent（MKA）评测，测试模型处理图像、复杂排版、表格和不同文件格式的知识任务。代理需要调用工具，读取并生成实际交付文件。公告称正式评测集有200项私有任务、10项公开样例；自动评分器会打开文件、渲染页面、检查电子表格公式，再按专家标准评判，官方报告的人类专家与自动评分一致率为96%。Google称，在该次测试中Carbon的质量位列被测模型第二，单位任务平均费用比最高分模型低六倍以上；这是该公司介绍的测试结果。
企业可以用表格公式、图纸尺寸、图例和版本差异检验文件交付质量。工业知识还分布在PDF、CAD导出图、试验记录和异构表格里，评测时应看可用成果、工程约束以及人工复核成本。
OpenAI于11月10日公布Businesses in ChatGPT测试版。企业可在Business Hub认领并核验身份，维护基本信息、产品价格和供应情况，查看聚合层面的被提及与网站点击数据。部分美国电商和在线服务企业还可建立Business Agent，让用户基于企业资料进一步了解产品与服务。公告区分代理对话与独立模型回答，企业提供的信息及工具受平台政策约束；聚合分析不向企业提供用户私人对话。
企业由此多了一个展示和解释产品的对话入口，首批面向特定商业类别。工业设备或企业服务供应商可以提前整理技术参数、配置边界和服务记录；工业设备和企业服务商可先把技术参数、配置边界和服务记录整理成结构化资料。
OpenAI与Upwork在11月10日发布自由职业市场研究，观察不同服务门类的需求、项目预算及AI相关技能组合。报告指出，部分传统服务的份额有变化，AI相关工作也在与原有专业技能重新组合。企业购买服务时，开始更多地关注围绕业务目标完成整段交付的能力。
同一天，Anthropic及合作研究者公开微调数据污染研究：在特定小模型和构造数据集条件下，少量有害训练样本经过“稀释”，反而可能表现出更强的后门效果。企业需要审计训练数据来源、评测数据与模型更新过程。
工业智能体与专业人员可在工程流程中分工，人员负责物理约束和结果核对。平台订单呈现服务需求变化，受控实验为模型更新审计提供了具体样本。
今天的消息涵盖证明核验、协作开发、文件交付和企业服务。证明要对上代码，协作智能体要留痕，生成文件要能打开并接受检查；企业对话入口和模型更新还涉及信息边界与安全审计。工程团队可以从具体任务开始，连接工具、产物和复核记录。
- deepmind.google｜《DeepMind以AlphaProof Code验证Signal关键密码学实现》｜2026-11-10｜相关资料。
https://deepmind.google/blog/introducing-alphaproof-code/ - google-deepmind.github.io｜《DeepMind以AlphaProof Code验证Signal关键密码学实现》｜2026-11-10｜相关资料。
https://google-deepmind.github.io/code-verification/ - blog.google｜《Gemini 4 Carbon开放，长任务与协作智能体受到关注》｜2026-11-10｜相关资料。
https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-4-carbon-now-available/ - blog.google｜《MKA基准测试智能体能否交付可用文件》｜2026-11-10｜相关资料。
https://blog.google/innovation-and-ai/models-and-research/gemini-models/multimodal-knowledge-agent-benchmark/ - openai.com｜《OpenAI让企业资料进入ChatGPT对话》｜2026-11-10｜相关资料。
https://openai.com/index/introducing-businesses-chatgpt/ - openai.com｜《自由职业市场变化与微调数据风险》｜2026-11-10｜相关资料。
https://openai.com/index/ai-effect-on-freelance-work/ - alignment.anthropic.com｜《自由职业市场变化与微调数据风险》｜2026-11-10｜相关资料。
https://alignment.anthropic.com/2026/homeopathic-learning/
关注高促会新质生产力工委会公众号
关注工业智能算网平台
新质生产力工作委员会：
中国高技术产业发展促进会新质生产力工作委员会，专注于推动工业人工智能、智能制造、数字化转型等前沿技术发展，为企业提供政策解读、技术咨询和产业对接服务。
工业智能算网：
专注于工业人工智能、新质生产力、工业软件CAE、智能制造等前沿技术。提供每日动态分析、技术趋势解读、解决方案分享，推动工业智能化转型。
网站地址： https://gyznsw.cn
发布日期：2026年11月11日
发布机构：中国高技术产业发展促进会新质生产力工作委员会
本报告仅供行业研究参考，不构成投资建议