标签：开源

清华 AI 数学家来了！从想法一路推到定理，参与完成 84 页量子算法论文

清华大学团队开发的 AI 数学研究助手 AIM，不再仅用于解答数学题，而是深度参与了一项前沿量子算法研究，从模糊直觉出发，辅助完成了 84 页的论文。这标志着 AI 在数学研究中的角色，正从“解题工具”向“研究协作者”演进。

科研团队在《自然·通讯》发表论文，提出一个名为EmulatRx的多智能体框架，通过五类AI智能体协作，自动从电子健康记录等真实世界数据中提取证据并生成临床试验设计报告，有望将传统耗时数周甚至数月的试验前期设计流程缩短至数天。

一篇在 Hacker News 上获得广泛讨论的帖子，直面 AI 发展的深层悖论：技术潘多拉魔盒已经打开，人类无法停止研发，只能像对待核武器一样，通过法律和制度来管控 AI 的滥用风险，而不是幻想“不发展”。

半导体公司Altera首席执行官表示，在AI和机器人技术带来的强劲需求推动下，公司已恢复增长。这一信号表明，AI硬件基础设施的需求并未冷却，而是从云端训练向边缘推理和工业场景扩展。

加州大学圣地亚哥分校团队利用宇树科技G1人形机器人，成功对活体猪实施了腹腔镜胆囊切除手术，这是公开报道中首次由人形机器人独立完成的标准化微创手术。尽管仍需人工校正且未达到手术无菌标准，但G1的成本仅为达芬奇手术系统的5%，为降低手术机器人门槛提供了新思路。

一位前大学乐队成员用 AI 工具，将 2001 年简陋的宿舍录音重制为 2026 年的高品质版本，并在网站上提供“前/后”对比播放器，展示了一种克制且透明的 AI 创作范式。

Termaxa 是一个轻量级的策略网关，在 AI 编码代理（如 Claude Code、Cursor）与真实 shell 命令之间增加了一道“风挡”——它能在命令执行前预判影响、自动备份高风险操作、阻止意图明确的破坏行为，而不是简单地把代理放进沙箱或完全信任它。

GitHub Mobile 为其 Copilot 会话列表新增了轻量级筛选和排序功能，让开发者在移动端从数十个 AI 对话中快速定位所需会话，告别手动翻找的繁琐体验。

vLLM 核心开发者莫梓峰将在 AICon 深圳大会上公开其针对多模态大模型（如 Kimi-K2.6、Qwen3.6）的推理优化方案，重点解决 Encoder 性能瓶颈，这是开源推理框架应对多模态趋势的关键技术演进。

中国移动于7月10日正式推出“新消息Claw”应用号，允许用户通过短信远程操控电脑上的开源AI行动智能体（Claw），解决了智能体无法在移动端便捷管控的问题。