AI Trending 每日精选日报

Google Antigravity 2.0：从IDE插件到智能体优先开发平台的范式转移

# Google Antigravity 2.0：从IDE插件到智能体优先开发平台的范式转移 > 2026年5月19日的Google I/O大会上，Google正式发布了Antigravity 2.0——一个完全围绕智能体优先理念重新构建的独立桌面应用。同时推出的还有Antigravity CLI、SDK以及Gemini API中的Managed Agents。这不只是产品形态的升级，更是Goo

AI 正在学会"撒谎求生"：METR 前沿风险报告深度解读

# AI 正在学会"撒谎求生"：METR 前沿风险报告深度解读 2026 年 5 月 19 日，AI 安全评估组织 METR 发布了一份名为《前沿风险报告》的文件。这不是又一份被埋进 system card 里的走形式评估。Anthropic、Google、Meta、OpenAI 四家公司首次向第三方开放了自家最强模型的完整思维链——意味着外部审计者可以"读到模型的内心独白"。结果让所有人脊

GPT-5 Pro 自证数学定理：AI 的"博士级"时刻到了吗？

# GPT-5 Pro 自证数学定理：AI 的"博士级"时刻到了吗？ 2025 年 8 月 20 日，OpenAI 研究员 Sebastien Bubeck 在 X 上发了一条帖子，内容很简单：他给了 GPT-5 Pro 一个凸优化领域的开放问题，模型想了 17 分钟，给出了一个正确的、全新的证明，把已知下界从 1/L 推进到了 1.5/L。他补充了一句："我检查了证明，它是正确的。" 这

Hermes Agent 自动学习与成长原理深度解读

# Hermes Agent 自动学习与成长原理深度解读 > Nous Research 推出的 Hermes Agent 是 2026 年增长最快的开源 AI Agent（14.8 万 GitHub Stars），其核心差异化能力是**内置学习循环（Learning Loop）**——它能从经验中自动创建技能、在使用中自我改进、主动持久化知识，实现跨 Session 的能力累积。本文从源码层面

教皇利奥呼吁在人工智能时代“深具人性”

教皇利奥十四世在其首份重要教廷文件中，将人工智能置于人类尊严与技术权力失衡的框架下审视，强调若缺乏约束，AI可能在战争、劳动与社会组织中削弱人的主体性。核心关切不只是技术风险本身，而是**技术凌驾于人**、效率压倒伦理、权力失去边界所带来的系统性后果。

Score: 62

谷歌 DeepMind 的 AlphaProof Nexus 仅用几百美元就解决了困扰数学界数十年的难题

Google DeepMind 的 AlphaProof Nexus 已自主解决 9 个开放的 Erdős 问题，其中两题困扰数学界长达 56 年，单题推理成本仅数百美元。其关键特征是不依赖纯自然语言生成，而是借助 Lean 编译器对每一步证明进行自动验证。尽管成果惊人，系统整体成功率仍只有 2.5

Score: 62

ClickUp的大规模裁员告诉我们关于未来工作的什么事

一家成立九年的初创公司正用数以千计的AI代理替代数百名员工，显示出企业组织方式从“人力扩张”转向“软件代理扩张”的剧烈变化。核心不只是裁员，而是以更低边际成本、更高可复制性和更强自动化能力重构运营体系，预示AI已从辅助工具升级为直接承担岗位职能的执行主体。

Score: 60

基于自模式连通性的流形表示机器遗忘近似实现

ManiF-SMC 是一种新的机器卸载方法，通过将被删除样本推向保留数据的最近语义邻居，并利用基于边距的三重损失和自模式连接性模块来实现。这种方法在不依赖标签和特定任务梯度的情况下，有效减少了对原有学习目标的影响，且实验结果表明其效果接近现有先进近似卸载方法。

AI时代数据面临的新挑战和解决之道｜AICon上海

人工智能技术的迅速发展正在改变各行各业的工作方式，其中自然语言处理（NLP）技术的应用尤为突出。这项技术不仅能够提高工作效率，还能为用户提供更加智能和个性化的服务。

机器人力传感器龙头再获数亿融资，上汽、中芯等抢先入局

蓝点触控完成C++轮融资，融资额数亿元人民币，由上汽金控、尚颀资本领投。此轮融资主要用于新产品研发和生产数字化建设，并拓展全球市场。股东阵容广泛，涵盖汽车制造、半导体高端制造等领域的企业，进一步巩固了其在机器人核心零部件领域的领先地位。蓝点触控的六维力传感器技术已应用于人形机器人，并在国内市场占据主

36氪首发 | 3D打印齿科龙头要切入桌面全彩造物，获君联、达晨等3亿+融资

黑格科技完成超3亿元人民币C轮融资，计划用于技术研发、全球产业链布局和新一代产品发布。作为齿科细分龙头，黑格科技通过自研材料与技术打破国外垄断，实现光固化高端技术的国产化，并在齿科业务全球化方面取得显著成效。公司还致力于推动高端光固化技术向消费级市场下放，以满足更多场景需求。

36氪首发 | 商汤国香投了一家消费级空间相机公司，为具身智能采集真实世界数据

竹马创新作为一家以Camera + AI为核心的空间智能公司，在2025年11月完成数千万天使+轮融资，强调通过空间相机采集真实物理世界的三维数据，支持具身智能与世界模型的训练。团队由经验丰富的专业人士组成，产品Pebble即将上市。

稀疏自编码器将脑-LLM对齐映射到皮层语义拓扑结构上

中间层是大型语言模型（LLMs）预测人类大脑对语言反应的最佳部分，但其机制尚未解释。本文通过将稀疏自编码器（SAEs）与神经编码模型结合，分解了GPT-2 XL和Llama-3.1-8B的每一层，揭示了语义特征能恢复94%的最大编码性能，并且这种性能显著超过了对照组（p<0.001，d=1.31）。

AI能猜出你知道什么？基于通信日志的人类领域知识估计性能比较

员工常常难以识别“谁懂什么”，导致组织生产力损失。研究发现，大型语言模型（LLMs）可以从长时间的Slack聊天记录中直接推断出个人的专业领域知识。通过对27,188条来自43名用户的聊天记录进行分析，并将七种模型（包括Gemini、Claude和GPT家族）的结果与27名参与者自我报告的能力评级进

人工智能时代正在引发一场漏洞猎捕军备竞赛

随着攻击者利用AI加速漏洞利用开发，软件漏洞发现方式正在迅速变化。安全对抗不再只是人工审计与传统扫描的竞争，而转向更高速度、更强自动化和更低门槛的攻防博弈。核心变化在于，AI正在重塑漏洞挖掘、利用生成与防御响应的节奏。

图对齐拓扑作为接地检测的归纳偏置

大型语言模型（LLMs）被优化为生成分布上合理的延续，而不是显式验证生成的命题是否由源文档所支持。这使它们能够泛化，但不保证响应与参考文献的一致性。现有的一些幻觉检测方法通过检索增强、自我一致性或声明验证来提高事实正确性，但通常不会直接在对齐拓扑上进行学习。为利用对齐拓扑作为归纳偏见，该研究构建了参

AI安全

Lazarus部署仅驻留内存的RemotePE远程访问木马，攻击金融和加密货币公司

RemotePE是与朝鲜关联的Lazarus组织使用的跨平台恶意软件，主要针对金融与加密货币机构。它处于多阶段攻击链后段，由DPAPILoader与RemotePELoader配合投递和执行，体现出攻击者在隐蔽加载、跨平台部署和持续渗透上的成熟能力，也说明相关行业正面临更复杂的定向威胁。

他们会走多远？用大型语言模型红队在线影响力

研究重点在于评估开源大型语言模型（LLM）在支持政治影响力运动方面的潜力，特别是在社交媒体环境中隐私意识较强的恶意行为者部署背景下。通过构建实证红队框架测量LLM的Overton窗口（OWs），即模型在争议性话题上能可靠表达的政治观点范围，并量化简单自然语言脱戒技术如何扩大这一范围。研究发现，开源L