iFeeling Daily
每天精选值得关注的 AI 动态
Axiom Math CEO 谈形式化验证:通往数学 AGI 的唯一路径

Axiom Math 创始人 Carina Hong 刚从 2 亿美元融资中走出来,就放下狠话:靠堆算力做不出数学 AGI,形式化验证才是正路。她的团队 30 人,在 Putnam 数学竞赛上拿了满分,碾压所有人类和 AI。
核心转储流行病学:修复一个18岁的老bug

OpenAI 团队追踪 Rockset 中一个看似不可能的崩溃:函数正常执行完却跳转到空地址。通过构建自动化的核心转储分析管道,他们发现这不是一个 bug,而是分别隐藏了18年的 libunwind 竞争条件和一次硬件错误的两个独立事件。值得所有做底层系统的工程师一读。
Google Cloud用AI Agent打造自主化SDLC安全

Google Cloud安全团队自曝内部方案:用多Agent编排将SDLC安全自动化,称Mantis框架能降token消耗85%以上。
Turla情报收集工具集的又一块拼图:STOCKSTAY后门分析

Google威胁情报组深度分析了Turla的STOCKSTAY后门:伪装成股票软件,模块化架构,使用WebSocket通信和环境密钥防分析。与KAZUAR共享代码,三年间持续攻击乌克兰。每个技术细节都经得起推敲。
OpenAI 研究主管:o1 是最大赌注,预训练没死

OpenAI 研究负责人 Mark Chen 一边做韩式豆腐锅一边讲 AGI、o1 和 Scaling Laws。他明确表示预训练没死,但未来要靠推理时计算。还聊了为何评估体系在崩坏、为何研究者比工程师值钱,以及最终科研可能变成全自动的 Agent 任务。有内味,有干货。
异步推理:Agent时代的基础设施新范式

当下所有AI推理都在等人,但真正的Agent不需要即时响应。Sail Research用异步队列+智能路由,把推理成本打到Haiku的六分之一,GPU闲置的算力也被重新填满。这不是未来的想象,是已经在跑的逻辑。
NeMo AutoModel:一行代码让 MoE 微调提速 3.7 倍

微调 MoE 大模型最头疼的就是显存不够、通信太慢。NVIDIA NeMo AutoModel 只改一行 import,就在 Transformers v5 基础上叠加了 DeepEP 通信计算重叠和 Expert Parallelism 显存分片,把 550B 模型训练吞吐提升了 3.7 倍,还省了 32% 显存,存的 checkpoint 标准兼容 vLLM。这是一篇用工程手段解决核心瓶颈的硬核实战复盘。
Databricks 联合创始人谈 Agent 云、Omnigent 和数据库的未来

Databricks 两位联合创始人深入聊了他们为什么要开源 Omnigent 来统一 agent 框架,以及 LTAP 如何绕过 HTAP 的工程陷阱。对于做 agent 或数据工程的人来说,全是非共识的架构决策和内部经验。
FFASR基准测试:在真实世界中评估远场语音识别
首个开放远场ASR基准测试上线,量化了模型在真实房间声学环境下的性能骤降,揭示近场与远场WER的差距可达数倍。