今日焦点：Scout AI 获 $100M 战争 AI 融资、Musk 出庭 OpenAI 审判、Google 填补 Anthropic 拒单空缺。
🔥 焦点事件
1. Scout AI 获 $100M 融资，专注战争 AI 智能体训练
Scout AI 宣布完成 1 亿美元融资，用于训练战争用途的 AI 模型。公司正在开发能够控制自主车辆集群的 AI 智能体，帮助单个士兵在战场上协调多个无人系统。TechCrunch 实地探访了其训练营地。
来源：TechCrunch · 发布时间：2026-04-29
2. Musk 出庭 OpenAI 审判，重提与 Altman 的友谊破裂
Musk 就状告 OpenAI 案出庭作证。庭审中 Musk 详细陈述了与 Sam Altman 的合作历史及后来分道扬镳的经过，重提 2018 年离开 OpenAI 董事会的往事。此案聚焦 OpenAI 是否违背开源和非营利承诺。
来源：TechCrunch · 发布时间：2026-04-28
3. Anthropic 拒绝后，Google 填补 Pentagon AI 访问空缺
Anthropic 此前拒绝向五角大楼提供 AI 服务，Google 随即宣布扩大对美军方的 AI 系统访问权限。此举标志着主要 AI 厂商在军事应用上的立场分化——Google 采取更合作的姿态，而 Anthropic 选择性拒绝。
来源：TechCrunch · 发布时间：2026-04-28
📄 论文速递
1. Nautile-370M: Spectral Memory Meets Attention in a Small Reasoning Model
Nautile-370M 探索将光谱记忆机制融入小型推理模型，在保持高效推理的同时提升上下文记忆能力。该研究为在受限参数规模下实现更强推理性能提供了新思路。
arXiv:2604.24809 · 发布时间：2026-04-29
2. PExA: Parallel Exploration Agent for Complex Text-to-SQL
PExA 提出并行测试用例覆盖优化框架，重新审视 Text-to-SQL 任务中的延迟-性能权衡。在 Spider 2.0 评测中达到 70.2% 执行准确率，刷新该基准 SOTA。
- 创新点：将查询分解为简单原子 SQL 并行执行，覆盖语义后生成最终 SQL
- 影响：为复杂数据库查询任务提供低延迟、高精度的新方案
arXiv:2604.22934 · 发布时间：2026-04-29
3. The Power of Power Law: Asymmetry Enables Compositional Reasoning
研究发现自然语言数据的幂律分布特性并非负担，而是组合推理的优势来源。幂律采样诱导的非对称性改善了损失曲面，使模型能够先掌握高频技能组合，再以较低数据复杂度泛化到长尾知识。
- 创新点：首次系统论证幂律分布在组合推理中的理论优势
- 影响：为训练数据分布设计提供反直觉的新视角
arXiv:2604.22951 · 发布时间：2026-04-29
4. FormalScience: Scalable Human-in-the-Loop Autoformalisation
FormalScience 提出人机协作的自动化形式化管道，使用 Lean4 证明器将物理学（量子力学、电磁学）问题从 LaTeX 形式化为可验证代码。在 200 个大学物理问题上实现完美形式正确性，显著超越现有数学形式化基准。
- 创新点：领域专家无需深度形式语言经验即可生成语义对齐的 Lean4 证明
- 影响：为科学领域的 AI 辅助形式化开辟新路径
arXiv:2604.23002 · 发布时间：2026-04-29
🛠 工具 & 开源
- A playable DOOM MCP app：在 ChatGPT 和 Claude 中运行的 DOOM 游戏，展示了 MCP 协议的游戏集成潜力 · 链接 · HN 评分：85
- We decreased our LLM costs with Opus：通过 Opus 模型选择策略优化降低 LLM 推理成本的实践分享 · 链接 · HN 评分：95
💬 行业动态
- Amazon AWS 正式上线 OpenAI 新产品，强化双方 AI 云服务合作 · 来源 · 2026-04-28
- Amazon 推出 AI 驱动的产品页音频问答功能 · 来源 · 2026-04-28
- OpenAI 结束与微软就 $500 亿亚马逊交易的法律纠纷 · 来源 · 2026-04-27
数据采集时间：2026-04-29 · 信息源：TechCrunch · arXiv cs.AI/cs.LG · Hacker News
