iFeeling Daily
每天精选值得关注的 AI 动态
Claude 发现密码学算法中的数学缺陷
Claude 在 60 小时内挖出后量子签名 HAWK 致命弱点，密钥强度砍半；自主发现新方法将简化版 AES 攻击提速 800 倍，但攻击不影响现有产品。
一根电线下垂暴露数据中心电网问题
一条电线脱落导致PJM电网扰动，暴露了数据中心同步离线对电网的巨大威胁。
39 个 Agent 无框架：一家制造公司的数字大脑构建实录
Rushabh Doshi 分享了如何为一家传统机械制造公司构建 39 个 Agent 的 AI 操作系统 Ira，没有用任何现成框架。他详细拆解了从文件消化、Agent 编排、免疫系统护栏到夜间梦境周期的完整架构，并提出了“Fork My Brain”的企业 AI 交付模式。
Garry Tan：AI原生公司如何实现400倍生产力
YC 总裁 Garry Tan 在闭幕演讲里拆解了 AI-native 公司的秘密：把 AI 当员工而不是工具，用 markdown 文件定义角色、流程和绩效，让每个任务变成可复用的 skill。他展示了 400x 的杠杆，以及如何用 GBrain 这样的公司大脑避免每天失忆。适合所有想用 AI 重写组织逻辑的创始人。
代码行动，证明信任：Erik Meijer的AI Agent形式化安全方案
Erik Meijer（Haskell/LINQ/Rx 之父）说现在的 AI agent 就像没系安全带的跑车。他正在用形式化证明给 agent 加装刹车——Automind 框架要求 agent 在执行任何操作前提交机器可验证的证明，从根源杜绝删库、乱报价、装木马。硬核但极度务实。
OKF v0.2：为Agent知识添加信任信号
Agent 写的东西能信吗？OKF v0.2 用 frontmatter 加五个信号（来源、信任、新鲜度、生命周期、证明），让消费者在读取前就能过滤，还搞了个防篡改的 Attested Computation。
LenVM：token级长度建模的可扩展价值预训练
生成式模型的输出长度很难精确控制，但LenVM通过在每个解码步预测剩余长度，实现了超细粒度的长度管理。在LIFEBench上，7B模型长度分数直接从30.9飙到64.8，超过GPT-4。关键是，它不需要额外标注，训练信号天然密集。想控制推理成本又不想牺牲性能？这个思路值得关注。
RayRoPE：让多视角Transformer真正理解3D几何的位置编码方案
多视角Transformer的核心痛点：传统编码要么认像素坐标，要么认光线方向，但都丢了真实3D几何关系。RayRoPE用一个巧妙思路——把预测的3D点投影到查询帧做编码，再算不确定性，结果LPIPS直接提了15%，结构很优雅，实用性极强。
非营利组织Current AI正竞相为所有人构建AI的万维网
当主流AI只服务英语世界时，一个非营利组织联合多国政府与基金会，用开源、离线、本地化的方式，为印度22种语言打造了口袋AI设备。它证明：公共AI基础设施可以像万维网一样免费开放，而且数据主权必须回归社区，而不是硅谷。