🖼️ 图文卡片
FINTECH FRONTIER DAILY
🏠 返回首页
FINTECH FRONTIER DAILY

前沿科技日报 · 2026-07-11

GPT-5.6 Sol Ultra 产出循环双覆盖猜想证明,Apple 起诉 OpenAI 窃取硬件商业秘密,Circle 获 OCC 联邦信托银行牌照

资料提供:前沿科技研究部
降低FOMO的每日信息交付

2026-07-11 前沿科技洞见 · 日报


📊 今日关键数据


🔍 今日值得深读

Apple 起诉 OpenAI 及 Jony Ive 的 IO Products,指控前苹果工程师系统性窃取硬件商业秘密

Apple 对 OpenAI 及 Jony Ive 创办的硬件初创公司 IO Products 提起诉讼,指控双方存在"一种由前苹果员工组成的 OpenAI 工程师对 Apple 商业秘密进行系统性窃取的模式"。Apple 诉状称,这批工程师在加入 OpenAI 及 IO Products 后,利用从苹果取得的硬件机密推进 AI 硬件研发计划。

这是 Apple 与 OpenAI 之间首次公开正面法律冲突。Apple 与 OpenAI 在 Apple Intelligence 框架下有正式合作(WWDC 2024 起),两者同时以合作方和法律对手身份存在,折射出 AI 硬件人才流动所带来的知识产权边界争议正在浮出水面。IO Products 是 Jony Ive 离开苹果后与 OpenAI 联合组建的硬件公司,其核心 AI 设备计划尚未公开披露,此次被卷入诉讼使其研发路线曝光风险加剧。

来源:The Verge


GPT-5.6 Sol Ultra 产出循环双覆盖猜想的完整证明,AI 首次触及四十年未解数学难题

OpenAI 发布由 GPT-5.6 Sol Ultra 生成的"循环双覆盖猜想"(Cycle Double Cover Conjecture)证明文档。循环双覆盖猜想是图论领域的经典未解命题:任意 2-连通图均可分解为若干圈,使每条边恰好被覆盖两次。这一猜想由 Szekeres 和 Seymour 分别独立提出,悬而未决约 45 年。

OpenAI 以 PDF 形式发布该证明文档,可通过 OpenAI CDN 直接访问。GPT-5.6 Sol Ultra 是本月初随 GPT-5.6 系列发布的数学推理专化变体,此次产出的证明文档超出了模型已知的训练数据范围。需要注意的是,数学证明的最终有效性需经过形式化验证和同行评议确认,目前数学社区正在核实该证明。

来源:OpenAI(Hacker News)


Circle 获 OCC 批准设立全国性信托银行,稳定币发行商首次取得美国联邦银行经营权

稳定币发行商 Circle Internet Group(NYSE: CRCL)宣布,已获美国货币监理署(OCC)批准,设立全国性信托银行 First National Digital Currency Bank, N.A.,并将以 Circle National Trust 名义运营。消息公布后,Circle 股价盘中一度涨超 13%,截至当日收盘涨超 7%,报 67.47 美元。

这是美国 OCC 首次向稳定币发行商发放全国性信托银行牌照,意味着 Circle 的 USDC 业务将受到联邦银行法规约束,同时具备银行级别的资金托管和结算权限。同期,欧洲 MiCA 法规截止日后数天,Circle 的欧元稳定币 EURC 的链上日活跃地址达到 1,760 个,创四年最高纪录;香港稳定币监管牌照也在同期正式落地。三地同步出现稳定币监管合法化信号。

来源:新浪财经博客(澎湃)


美商务部放宽对阿联酋 AI 芯片出口管制,G42 和多家美国科技公司可免许可证出口

美国商务部周五宣布对阿联酋放宽 AI 芯片出口管制,允许 G42 及苹果、Meta、xAI 等美国科技公司向阿联酋出口 AI 芯片,无需申请许可证。此前,美国出口管制要求对 G42(阿联酋 AI 基础设施核心玩家)及其合作伙伴的芯片出口必须经过许可证审批。

此次放宽是美国对中东 AI 地缘战略布局的重大调整,G42 是阿联酋国有背景的 AI 企业,此前曾因与中国实体的关联而受到美国国会关注。此次豁免意味着美国政府将阿联酋定位为 AI 战略合作伙伴,允许其建设大规模 AI 数据中心。Apple、Meta、xAI 等公司因此可在无许可证前提下为 G42 及阿联酋相关项目供应高端 AI 芯片。

来源:Techmeme(Reuters)


🔥 今日聚合动态

Claude Code 安全后门隐患曝光,阿里同日全面禁用 Claude 并切换千问

财联社机构研报指出,Claude Code 存在安全后门隐患,AI 安全预算已从"实验性支出"升为"运维必需品",并给出了 AI 安全细分方向梳理。同日,阿里内部 7 月 3 日下发的全面禁用 Claude 通知于 7 月 10 日正式生效,全员切换至自研的 Qoder(原通义灵码)和通义千问企业版,办公网络、设备、API 调用全部拦截,且 7 月初之前阿里曾积极报销员工使用 Claude 的费用。

两件事同日出现,反映企业对 AI 编程工具的安全信任已成为采购决策的核心因素。Claude Code 的后门隐患触发安全预算向运维支出转变,而阿里则通过将工具链切换为自研产品,把安全控制权收回内部。

视角来源核心信息
安全风险财联社Claude Code 后门隐患,AI 安全预算从实验性变为运维必需
企业响应人人都是产品经理阿里 7 月 10 日全面禁用 Claude,切换 Qoder 和通义千问

推理模型过度思考触发服务拒绝风险,Prismata 提出网页 Agent 跨站提示注入防御框架

两篇安全研究论文同日发布,分别揭示了针对 AI Agent 的两种不同攻击向量。浙大与阿里安全联合实验室的研究发现,推理模型(以 DeepSeek-R1 为代表)在遇到输入缺失条件、逻辑矛盾或结构错位时,会陷入反复推理、自我修正的"过度思考"状态,显著增加输出 token 数、推理延迟和能源消耗,构成拒绝服务(DoS)新风险。另一篇论文 Prismata 提出通过隔离跨站提示注入来保护网页 Agent,防止恶意网页内容篡改 Agent 的指令执行链。

视角来源核心信息
推理型 DoSPaperWeekly推理模型过度思考触发 DoS,增加 token 消耗和推理延迟
提示注入防御Hacker News(arxiv)Prismata 框架隔离网页 Agent 的跨站提示注入攻击

Meta Muse Spark 1.1 发布:面向 Agent 编程的多模态推理模型,Zuckerberg 时隔三年重返 X

Meta 超级智能实验室正式发布 Muse Spark 1.1,这是 Muse 系列第一次重大升级,目标是在 Agent 编程赛道与 OpenAI 和 Anthropic 展开竞争。该模型重点提升了工具调用、电脑操作、编程和多模态理解能力,支持 API 公开预览(Meta 首次推出付费 API)。同日,Zuckerberg 时隔三年重返 X 发布推文为该模型造势,马斯克随后公开回应。

视角来源核心信息
发布公告Tech in AsiaMuse Spark 1.1 正式发布,首次推出付费 API
技术与定价智东西定价"非常激进且具有吸引力",多模态推理和工具调用能力升级
竞争定位AI前线Meta AI 负责人 Wang 称 Muse Spark 1.1 是"当前最强 Agent 编程模型"

国产 AI 基础设施两里程碑:全国产十万卡超集群落成,腾讯混元 Hy3 盲测占优

中国 AI 基础设施同日出现两个进展。中科曙光在光合组织 2026 智能计算应用大会上宣布,全国产十万卡 AI 超集群曙光 8000(登峰)落成并接入国家超算互联网,完成 300 余项超智融合应用优化,超过 70 个应用实现万卡规模扩展。同日,钛媒体测评显示腾讯混元 Hy3 正式版(7 月 6 日发布)在 270 位专家盲测中均分 2.67,高于 GLM5.1 的 2.51,且以不到对方四分之一的激活参数量实现性能超越。

视角来源核心信息
算力基础设施智东西曙光 8000 国产十万卡超集群落成,300 余项应用优化完成
模型性能钛媒体混元 Hy3(295B/21B激活)盲测均分 2.67,超过 GLM5.1(2.51)

📰 独立报道

🤖 AGI 前沿

GitHub 发现更多工具让 Copilot 代码审查变差,Unix 式工具重构后改善

GitHub 工程博客发布《Better tools made Copilot code review worse》,详述了他们将 Copilot 代码审查迁移到共享 Unix 风格代码探索工具后,代码审查质量反而下降的发现。问题根源在于:工具数量增加后,Agent 倾向于广泛搜索而不是聚焦于 pull request 的直接证据,导致评审分散。GitHub 通过把 Agent 工作流重新聚焦于 PR 本身的上下文,并减少工具调用范围,最终降低了审查成本并提升了准确率。

来源:GitHub 博客


Claude 花 11 天完成 Bun 代码库 AI 重写,创始人花一个月才公开披露

InfoQ 报道,Bun(高性能 JavaScript 运行时)的创始人 Jarred Sumner 透露,Claude 在 11 天内完成了 Bun 代码库核心部分的 AI 辅助重写——这是目前公开报道中规模最大、耗时最短的 AI 大规模代码改写案例之一。创始人在完成后等待了约一个月才公开交底,此举被 InfoQ 评价为"史上最高调的 AI 重写"。

来源:InfoQ 中文站


Agent Skills 自进化框架:用可版本化能力包替代持续 Prompt 调优

Datawhale 成员陈思州发布文章,系统阐述了 Agent Skill 的三层结构(路由层、指令层、执行层)及其自进化机制。核心论点:通过让 Agent 自主版本化其 Skill 能力包(以 SKILL.md 为核心),可以将反复调 prompt 的人工成本转移为 Agent 的自主迭代能力。文章提出了 Skill 的评估、比较、替换和演化路径,与 SkillNet(浙大-阿里安全联合实验室)同日发布的技能图谱系统形成呼应。

来源:Datawhale


现代 AI 之父团队测试 13 个大模型检索 Agent 可信度:Claude 表现最佳,GPT 易被攻击

BAAI 智源报道,由 Yoshua Bengio 等人参与的研究团队对 13 个大模型的在线搜索可信度进行了系统测试,结果显示模型安全性差异显著:Claude 在抵御虚假内容注入(GEO 操纵)方面表现最好,但仍存在沉默漂移和误拒风险;GPT 在新场景中极易被虚假内容攻击。研究背景是 2026 年央视 3·15 晚会曝光的 GEO 灰色产业链——用 AI 批量生成软文后,让主流 AI 将捏造商品当成"标准答案"推荐。

来源:BAAI 智源


蚂蚁灵波发布 LingBot-VA 2.0:全球首个具身原生预训练 Video-Action 模型

蚂蚁灵波科技发布 LingBot-VA 2.0,定位为全球首个"具身原生"预训练模型。区别于传统具身 AI(看到当下帧→执行动作),LingBot-VA 2.0 通过 Video-Action(VA)预训练框架让机器人在行动时预判数步后的状态,以物理世界视频数据作为预训练来源,而非互联网文本。该模型同日发布的还有 LingBot-World 2.0(开源互动世界模型)。

来源:量子位


CASP 报告:恐怖组织 Boko Haram 已实际使用前沿 AI 辅助行动

剑桥 AI 安全政策研究所(CASP)发布报告,记录了武装恐怖组织 Boko Haram 使用前沿 AI 的具体案例,涵盖招募、传播和行动辅助场景。这是目前已知的关于 AI 被活跃武装组织实际使用的最详尽公开记录之一,而非基于威胁预测的理论推断。

来源:Hacker News(CASP)


🏢 AI 战略与组织变革

Hugging Face CEO:企业已停止"租用"AI,开源覆盖财富 500 强近半数

Hugging Face CEO Clem Delangue 接受 TechCrunch 采访时表示,开源 AI 浪潮已覆盖约一半的财富 500 强企业,大型企业越来越倾向于自部署和拥有模型,而非依赖 API 租用。Delangue 将 Hugging Face 定位为"AI 领域的 GitHub",称平台托管的模型和数据集已成为企业建立私有 AI 能力的核心基础设施,与此前纯 API 订阅模式形成对比。

来源:TechCrunch


Deutsche Telekom 与 OpenAI 合作打造 AI 原生电信架构

OpenAI 官网发布案例详述德意志电信(Deutsche Telekom)如何与 OpenAI 合作构建 AI 原生电信运营体系,涵盖客服、员工工作流、网络运营和语音业务未来路径。该案例将 Deutsche Telekom 定位为电信行业 AI 转型的先行样本,覆盖从前端客服到后端网络智能的全栈架构。

来源:OpenAI 新闻


百度搭子(DuMate)定义 Agent 托付半径,发布企业版与搭子联盟

APPSO 深度分析了百度搭子在 2026 年 Agent 产品爆发背景下的三项更新:个人版升级、企业版发布和搭子联盟。文章提出"托付半径"概念——衡量用户愿意将多少工作委托给 Agent 的边界,从个人用到企业部署再到行业应用。通过表格清洗、PPT 制作、自媒体创作等办公场景实测,分析了百度搭子通过智能路由、全端记忆、Browser Use 和企业级安全体系拓展用户托付边界的路径。

来源:APPSO


上海发布"AI+制造"白皮书,制造业 AI 落地路径全梳理

上海市发布"AI+制造"专题白皮书,万字长文梳理制造业 AI 重塑路径,覆盖工业视觉检测、工艺参数优化、预测性维护、供应链协同等具体落地场景,并给出企业数字化成熟度分级框架。

来源:人工智能产业链union


💰 金融科技前沿

IMF 工作论文:智能体 AI 如何重塑支付系统

金融科技研究公众号转发 IMF 最新工作论文,聚焦 Agentic AI 对全球支付基础设施的影响。论文分析了 AI Agent 在支付指令生成、路由决策、欺诈检测和合规核查等环节的具体介入方式,以及由此带来的监管框架挑战。IMF 正式将 Agentic AI 纳入支付系统分析框架,是货币国际机构首次系统性评估 AI 代理对支付基础设施的结构性影响。

来源:金融科技研究


AI 开始接管地方金融风险管理,监管科技进入大升级阶段

新金融大数据报道,AI 系统正式进入地方金融风险管理体系,替代或辅助人工在异常交易监控、贷款风险预警、市场流动性分析等场景的决策支持。文章指出监管科技进入"大升级"阶段,金融机构正在将 AI 风控模型嵌入原本依赖规则引擎的合规流程。

来源:新金融大数据


农行官宣 Kimi 联名信用卡,"消费即算力"模式正式进入银行业

农业银行官宣与 Kimi(月之暗面)合作推出联名信用卡,持卡消费可兑换 AI 算力权益(如 Kimi 会员时长、API 调用额度),被业界定义为"消费即算力"模式。这是国内大型商业银行首次以 AI 算力权益作为信用卡核心权益,标志着 AI 公司与传统金融机构在产品层面的深度整合进入实质阶段。

来源:界面新闻


🎓 学术前沿

大三本科生一作:投机解码新算法实现 7.92 倍加速,DeepSeek 和阶跃星辰双双引用

BAAI 智源报道,一篇由大三本科生作为第一作者的投机解码(Speculative Decoding)论文实现了 7.92 倍的推理加速,DeepSeek 和阶跃星辰(Step-Star)两家头部模型公司均引用了该工作。投机解码是目前 LLM 推理加速的核心技术路径之一(草稿模型预测 + 目标模型验证),7.92 倍加速在公开可复现的工作中属于较高水平。

来源:BAAI 智源


vLLM 针对多模态模型的推理优化实践(AICon 深圳)

InfoQ 发布 AICon 深圳大会演讲整理,聚焦 vLLM 在多模态模型推理优化上的工程实践,涵盖视觉 token 的内存管理优化、跨模态批处理调度策略和推理延迟压缩方案。vLLM 是目前开源 LLM 推理框架中应用最广的之一,多模态扩展是其 2026 年的主要演进方向。

来源:InfoQ 中文站


🔧 硬件算力与智能设备

Samsung 为联想、HP 准备 AI PC 芯片,AI PC 进入芯片争夺新阶段

Tech in Asia 报道,三星已为联想和惠普准备好 AI PC 专用芯片,两家 OEM 厂商正在进行测试。AI PC 正从以 GPU 为主的数据中心算力争夺,扩展为对端侧 AI PC 芯片的布局,三星的介入意味着 DRAM 供应商正在向 AI PC 芯片供应商延伸。

来源:Tech in Asia


AI 算力需求驱动台湾 6 月出口增长 40.3%,东南亚和欧洲增速更快

Tech in Asia 报道,AI 芯片需求带动台湾 6 月出口同比增长 40.3%,其中东南亚出口增速 47.1%,欧洲增速 48.4%,均高于总体增速,折射出 AI 数据中心在非美市场的算力建设加速。

来源:Tech in Asia


⛓️ 区块链创新

香港稳定币监管牌照静悄悄落地,被解读为大国博弈金融战场布局

熊猫公园分析,香港稳定币监管牌照已在近期正式落地,落地时间与美国 Circle OCC 联邦银行牌照、欧洲 MiCA 截止日高度重叠,三个主要金融司法管辖区在同一时间窗口完成稳定币监管框架落地,作者认为香港此举具有大国博弈背景下的战略金融布局意义。

来源:熊猫公园


图文卡片 ⬇️ 一键下载图文卡片