iFeeling Daily
每天精选值得关注的 AI 动态
形式化费马大定理
Claude在11天内自动形式化了费马大定理，产生1300万行Lean代码和29500个定理，实现了首次全自动计算机验证。
NeoMME：高效多模态原生多语言编码器
NeoMME用单个双向Transformer处理图像和文本，文档检索nDCG@10达0.523，吞吐量51页/秒，存储压缩255倍。
自动化研究者能够可靠地缓解对齐失败
Anthropic让Claude自主进行对齐研究，在10种对齐失败上均找到改进方法，甚至超越了人类安全研究者。
Anthropic 发布模型硬件标准 MHS
Anthropic 发布 MHS 标准，让 AI agent 直接操控实验室设备，QuEra 实现 99.3% 激光锁定恢复。
PROOF-Gen: From Optimized Data to Better Distillation
PROOF-Gen 从不成功的蒸馏轨迹中恢复 93% 的失败场景，将 Qwen3-4B 的 Pass@1 提升至 0.529。
智能体到底需要多少记忆？
智能体记忆不是越多越好，而是需要根据模型能力校准剂量。实测八款模型，弱模型用选择性检索能省成本又提分16.1个百分点。
多向量晚期交互嵌入模型：Sentence Transformers 统一支持
Sentence Transformers 新版本统一了 ColBERT 风格多向量模型，支持文本、图片、音视频检索，并附完整索引与推理加速方案。
同一集群，33 个百分点利用率提升：改变的是顺序
一个约束感知的 GPU 分配器，在不改变硬件的情况下，通过改变决策顺序将利用率最高提升 33 个百分点，价值平均提升 52%。
开源模型生态：2026年夏季观察
HF Hub 2026年夏季数据揭示：中国前沿模型参数规模远超美国，Qwen衍生数超Llama 4倍，Agent首次成为最大流量来源。