7月4日 | 机器人在真实世界自我进化，我们还能看懂它在学什么吗

本期内容

今天五个话题，指向同一个方向：AI 正在从通用工具变成真实世界的具体基础设施。科研、数学证明、神经交互、物理机器人、商业策略，每一个领域都在经历同样的转变，就是"有没有 AI"不再是问题，"这个 AI 是不是为我的场景设计的"才是。如果你在思考自己的 AI 方向，今天这期尤其值得认真听。

本期要点

- Claude Science 不是聊天框加 PDF 插件，而是为科研工作流设计的完整工作台，专业领域 AI 的竞争逻辑正在改变

- Mistral 开源的 Leanstral 1.5 能在真实代码库里找出未发现的 bug，形式化验证开始有实际工程价值了

- Meta 的 Brain2Qwerty 不需要手术，只靠头皮 EEG 电极加 AI 解码，就能把大脑打字信号转成文字

- NVIDIA 的 ENPIRE 让机器人在真实物理环境中自主试错并改进策略，自动化系统的演化速度正在超出我们习惯的监督节奏

- Dan Pupius 的框架点出一个扎心事实：大多数人以为自己有 AI 策略，但其实只有 AI 战术，策略需要你知道自己在赌什么

参考资料

Claude Science, an AI workbench for scientists — https://www.anthropic.com/news/claude-science-ai-workbench

From Brain Waves to Words: Brain2Qwerty Offers a New Path to Communication Without Surgery — https://ai.meta.com/blog/brain2qwerty

Leanstral 1.5: Proof Abundance for All — https://mistral.ai/news/leanstral

Import AI 463 — https://importai.substack.com/p/import-ai-463

Your AI Strategy Is Making Bets. Do You Know Which Ones? — https://every.to/thesis/your-ai-strategy-is-making-bets

---

BearTalk 狗熊有话说播客，始于 2012 年。

订阅地址：https://beartalking.com/page/podcast