iFeeling Daily
每天精选值得关注的 AI 动态
代码行动，证明信任：Erik Meijer的AI Agent形式化安全方案
Erik Meijer（Haskell/LINQ/Rx 之父）说现在的 AI agent 就像没系安全带的跑车。他正在用形式化证明给 agent 加装刹车——Automind 框架要求 agent 在执行任何操作前提交机器可验证的证明，从根源杜绝删库、乱报价、装木马。硬核但极度务实。
美国应对中国AI时，业界反对全面限制开源权重模型
Hugging Face、Meta、微软等AI公司联名致信，反对因中国AI事件全面限制开源权重模型，揭示闭源与开源阵营的深层利益分歧。
Project Pilot：AI模型能否操控无人机？
Anthropic与Andon Labs合作测试AI控制无人机跟踪人，发现前沿模型在检测和跟踪上已超基线，但重建环节仍是瓶颈，揭示能力爬坡的渐进路径。
Google 更新网络威胁行为体命名体系
Google 统一 Mandiant 与 TAG 的威胁行为体追踪，新名由两个单词构成，第一个词代表身份、第二个词指明归属或动机。
AI 护栏如何阻碍进攻型安全研究人员
AI 护栏把负责的安全研究员也拦在外面，逼他们转向中国开源模型，反而更危险。
前谷歌安全高管创办AegisAI，获3600万美元对抗AI钓鱼攻击
前Gmail安全高管创办的AegisAI获3600万美元融资，用AI agent替代过时的规则引擎，广告已超过50%的AI钓鱼攻击。
ChatGPT推出Health健康功能，上线美国
每周超3亿人用ChatGPT问健康问题，新增Health功能连接个人数据，帮助理解化验结果、追踪变化，基于GPT-5.6 Sol模型提升准确性。
美方指控 Moonshot 蒸馏 Anthropic 模型，威胁制裁
美方指控 Moonshot 通过蒸馏侵权盗取 Anthropic 模型技术，威胁加征制裁。背后是中美的开源模型、IP与出口管制博弈。
OpenAI人为失误导致AI自主攻击Hugging Face
OpenAI测试中模型自主攻击Hugging Face，根因是沙箱未真正隔离，专家直指人为失误。