AI日报 – 2026-07-15

关键词:GPT-5.6 Sol, AI经济冲击, AI代理安全, Erdős #793难题, Grok Build CLI, vLLM原生提速

🔥 聚焦

200+学者联名呼吁应对AI经济冲击 : 包括多位诺贝尔奖得主、Jeff Dean及OpenAI/Anthropic高管在内的200多位学者联合发表“We Must Act Now”声明,警告AI对经济的冲击可能超越工业革命,且发展速度呈指数级加快。他们敦促政府、政策制定者和科技领袖立即行动,在劳动市场、社会制度上建立合理的激励与防范机制,以应对可能出现的大规模就业流失。(来源:kimmonismus

200+学者联名呼吁应对AI经济冲击

xAI Grok Build CLI私自上传代码库事件 : 安全研究人员披露,xAI的Grok Build CLI在未获授权的情况下,私自将用户的整个Git代码库(包含私有代码和未加密的密钥)打包上传至谷歌云存储桶。尽管xAI随后通过服务器端Flag禁用了该行为并提供零数据保留(ZDR)选项,马斯克也承诺彻底删除已上传数据,但该事件已引发开发者对AI代理隐私安全的强烈信任危机。(来源:sohamxsarkar

xAI Grok Build CLI私自上传代码库事件

Meta在路易斯安那州扩建5GW超级数据中心 : Meta宣布将其位于路易斯安那州的Hyperion超级数据中心扩建至5吉瓦,总投资额从最初的100亿美元飙升至500亿美元。该项目将成为全球最大的AI基础设施之一,预计在2032年完工。然而,该项目享受了20年免税优惠,且面临巨大的电力消耗和环境影响争议,在当地引发了分歧。(来源:36kr

GPT-5.6 Sol解决50年数学难题 : 微软研究员Sebastien Bubeck等人证实,OpenAI新发布的GPT-5.6 Sol Ultra模型成功解决了困扰数学界50多年的Erdős #793难题(关于2-primitive set的极值渐近性)。该模型在没有任何提示的情况下,给出了一个极其简短且优雅的构造,对原有的证明方法进行了实质性改进,展示了前沿大模型在纯数学逻辑推理领域的直觉和突破性能力。(来源:SebastienBubeck

GPT-5.6 Sol解决50年数学难题

Morpheus持续企业模拟强化学习基准发布 : Skyfall AI发布了全球首个真实世界持续强化学习模拟平台Morpheus。与传统在几分钟内重置的 episodic 游戏环境不同,Morpheus模拟的是永不重置、持续运行且伴随非平稳噪声的真实企业运营环境,旨在测试前沿LLM在面临异步故障和连续决策时的持续学习能力。(来源:fchollet

🎯 动向

GPT-5.6 Sol发布与使用限额调整 : OpenAI发布GPT-5.6 Sol模型,并推出针对日常办公的ChatGPT Work和编程助手Codex。由于Sol在长上下文和多代理协作中Token消耗过快,官方将上下文限制从372k调整至272k,并对“juice”推理努力级别进行了微调,同时为付费用户提供Banked Resets以缓解额度焦虑。(来源:sama

GPT-5.6 Sol发布与使用限额调整

Hugging Face实现Transformers模型在vLLM中原生提速 : Hugging Face宣布其Transformers库模型现已支持在vLLM推理引擎中以原生速度运行。这一突破消除了开发者过去需要为研究训练(Transformers)和生产部署(vLLM)重复编写两套模型代码的痛点,显著提升了开源AI生态的部署效率。(来源:ClementDelangue

Hugging Face实现Transformers模型在vLLM中原生提速

Mistral AI发布首个机器人导航模型Robostral Navigate : 法国AI初创公司Mistral发布了其首个具身智能导航模型Robostral Navigate。该8B model仅依靠单个标准RGB摄像头和自然语言指令,即可在未知且动态变化的环境中引导机器人完成复杂的导航任务,在R2R-CE基准测试中取得76.6%的SOTA成绩。(来源:AI Business

Anthropic研究揭示Claude价值观随语言和模型发生漂移 : Anthropic对超过30万段真实对话进行分析,发现Claude表达的价值观并非一成不变。Sonnet 4.6表现得更为温暖和顺从,而Opus 4.7则更显严谨与审慎。同时,语言也会改变其态度:Claude在印地语和阿拉伯语中表现出最高的热情,而在英语和俄语中则更倾向于严谨和纠错。(来源:TheRundownAI

Anthropic研究揭示Claude价值观随语言和模型发生漂移

🧰 工具

AnySearch: 专为AI Agent打造的结构化搜索引擎 : AnySearch是一款登顶Product Hunt的AI搜索引擎,专为AI Agent设计。它不返回冗余的网页链接和广告,而是通过同源衰减和信息密度仲裁算法,直接向Agent交付去噪后、Markdown格式的实时结构化信息,不仅能搜到公开网页信息,还能覆盖高质量的垂直领域数据,显著降低了Agent的Token消耗和延迟。(来源:量子位

Shepherd: 针对AI代理运行状态的“Git”快照工具 : 斯坦福研究人员开源了Shepherd,这是一款针对AI代理执行环境的快照与版本控制工具。它不仅记录对话历史,还能捕捉运行进程、临时文件、内存状态及KV缓存。当代理决策出错时,Shepherd允许一键回滚到健康Checkpoint,并能复用95%的KV缓存以节省Token。(来源:stanfordnlp

Blume: 开源免配置的Markdown文档生成框架 : 由OpenAI开发者开源的Blume是一款零配置的文档生成框架。用户只需将Markdown文件夹丢入,即可自动构建出包含SEO优化、本地搜索和Ask AI助手的现代化文档网站,并原生支持llms.txt和MCP服务,方便其他AI代理直接读取。(来源:MarkTechPost

Colibri: 极低显存运行GLM-5.2的本地推理框架 : Colibri是一款创新的本地大模型推理框架,它允许用户在仅25G内存的普通设备上运行拥有744B参数的GLM-5.2模型。Colibri通过将注意力等稠密部分常驻内存,而将海量路由专家存储在磁盘并采用per-layer LRU缓存按需流式加载,结合预加载和投机解码,实现了极低显存下的可用推理速度。(来源:karminski3

Colibri: 极低显存运行GLM-5.2的本地推理框架

FastAFD: 针对GB200 NVL72架构的开源注意力-FFN解耦运行时 : Hao AI Lab开源了FastAFD,这是一款专为英伟达GB200 NVL72系统设计的注意力与FFN(混合专家)解耦运行时。通过将Attention and FFN层部署在通过NVLink连接的不同GPU节点上,FastAFD将每张GPU的解码吞吐量提升了1.35至1.45倍。(来源:bookwormengr

📚 学习

论文: 预测重于执行——机器学习Agent的效率瓶颈突破 : 浙江大学与蚂蚁集团联合团队发表论文,指出机器学习Agent的瓶颈不在于写代码,而在于运行实验的昂贵成本。团队提出FOREAGENT框架,利用LLM在不运行代码的情况下,通过数据报告对预测候选方案的适配性进行隐式预测,将Agent的搜索效率提升了6倍。(来源:机器之心

论文: 预测重于执行——机器学习Agent的效率瓶颈突破

论文: 神经动力学系统相变存储芯片实现脑皮层实时重建 : 北京大学与中科院微系统所团队在《Science》发表研究,利用相变存储器的物理电导漂移特性,设计了一款40纳米神经动力学系统(NDS)专用存内计算芯片。该芯片将脑皮层三维重建延迟缩短至亚10毫秒级,较GPU A100提速近500倍,且功耗降低十余倍。(来源:机器之心

论文: 神经动力学系统相变存储芯片实现脑皮层实时重建

论文: VISReg——解耦尺度与形状的自监督表征正则化方法 : 获Yann LeCun高度认可的自监督学习新工作VISReg,通过将防止表征坍塌的正则项解耦为“尺度”与“形状”两个独立目标,解决了传统SIGReg在坍塌时梯度消失的问题。实验表明,VISReg仅需约1/10的训练数据,即可在分布外(OOD)基准上追平DINOv2。(来源:机器之心

论文: VISReg——解耦尺度与形状的自监督表征正则化方法

💼 商业

爱诗科技完成C轮累计29.8亿元融资 : 视频生成与实时世界模型头部公司爱诗科技宣布完成整体C轮融资,累计融资金额达29.8亿元人民币。本轮C+轮由阿里巴巴领投,王慧文家办等国内外机构跟投,资金将用于PixVerse视频大模型研发、全球化增长和产业场景落地。(来源:量子位

爱诗科技完成C轮累计29.8亿元融资

逐际动力完成Pre-IPO轮近2亿美元融资 : 通用人形机器人公司逐际动力宣布完成近2亿美元Pre-IPO轮融资,投后估值达150亿元。本轮融资由IDG资本、蓝思科技、中东磊石资本等全球资本共同加注,资金将用于大小脑融合技术突破和数千台机器人的规模化部署。(来源:36kr

逐际动力完成Pre-IPO轮近2亿美元融资

数据编排巨头Prefect收购Dagster : 数据工作流编排领域的两大巨头迎来合并,Prefect宣布正式收购Dagster。两家拥有强大开源社区的竞品合并后,将致力于构建下一代自主软件自动化平台,结合Dagster的声明式资产和Prefect的灵活执行,探索Agentic编排新方向。(来源:AAAzzam

🌟 社区

微软CEO纳德拉警告企业使用闭源API的数据流失风险 : 微软CEO Satya Nadella发表文章指出,企业在使用闭源AI模型时实际上支付了双重代价:金钱和更珍贵的业务数据(提示词、Agent工具调用及纠错反馈)。他呼吁企业应通过开源模型和云端托管构建自己的“私有学习闭环”,以维护数据主权。(来源:bookwormengr

微软CEO纳德拉警告企业使用闭源API的数据流失风险

AI时代下“写代码”与“理解计算机”的本质辩论 : 社区热议AI对编程范式的颠覆。研究人员gfodor等指出,随着AI编程Agent的成熟,手动编写代码的乐趣(微观解密)正在消失,继续手写代码甚至被认为是一种“自私的低效行为”;未来的关键在于理解计算机的底层逻辑并用AI去指挥它,而非纠结于具体的语法编写。(来源:gfodor

东大教授称Claude Fable 5解开卡了半年的弦论难题 : 东大数学物理学家立川裕二发推透露,他将卡了半年的超对称量子场论与拓扑学难题输入给Claude Fable 5,模型不仅给出了正确的代数拓扑直觉见解,还自主编写SymPy代码进行了验证,展示了AI在顶级科学前沿领域的辅助发现潜力。(来源:36kr

💡 其他

纽约州宣布暂停新建大型数据中心一年 : 纽约州州长Kathy Hochul宣布对使用50兆瓦及以上电力的新建数据中心实施为期一年的暂停令,以评估其对电网、水资源及气候目标的潜在环境冲击。这成为全美首个州级数据中心建设禁令,在AI算力基建热潮中引发了行业震荡。(来源:Ars Technica

苹果起诉OpenAI指控其Poach员工并窃取硬件商业机密 : 苹果公司正式对OpenAI及旗下硬件子公司io Products提起诉讼,指控其系统性挖角苹果硬件团队,并利用系统漏洞非法访问苹果网络存储库,窃取了包括未发布主板设计、金属表面处理工艺在内的核心硬件商业机密,以加速开发其AI原生智能设备。(来源:TechCrunch

欧盟反垄断施压下ChatGPT重返欧洲WhatsApp : 在欧盟反垄断监管机构的临时干预令下,Meta被迫向竞争对手开放其社交生态。OpenAI已重新在欧洲经济区(EEA)的WhatsApp上启用ChatGPT服务,用户可通过官方验证账号直接进行多模态对话与图像生成,无需注册账号。(来源:THE DECODER

欧盟反垄断施压下ChatGPT重返欧洲WhatsApp

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注