今日概览
今日焦点集中在科学研究与 AI 基础设施：从大脑视觉与思考回路、巨树输水机制，到形式化证明模型与 AMD 加速卡上的大模型推理性能。输入条目均来自 Hacker News，正文内容未提供，因此摘要仅依据原标题、链接元数据、得分与评论数生成。
GLM5.2 在 AMD MI355X 上达到每节点 2626 tok/s，成本低于 Blackwell 一半以上
这条资讯指向 Wafer.ai 关于 GLM5.2 在 AMD MI355X 硬件上运行表现的文章。原标题声称，该组合实现了每节点 2626 tokens/s 的吞吐，并且成本比 Blackwell 低两倍以上。输入数据未包含正文或测试细节，因此无法核验具体基准方法、模型配置、批量大小或成本口径。该条来自 Hacker News Newest（50+ points），获得 50 分和 13 条评论，是本批次中互动最高的 AI 硬件性能话题。
来源：Hacker News Newest (50+ points)
巨树将水输送到顶端枝叶并不困难
这条资讯来自埃克塞特大学新闻页面，主题是巨型树木如何把水输送到高处枝叶。原标题强调，巨树在向树冠顶部泵送或传输水分方面“没有困难”，可能涉及植物水力学、蒸腾作用或树木高度限制等研究问题。由于输入未提供正文，无法确认研究对象、实验方法或具体结论边界。该条在 Hacker News Frontpage 获得 49 分和 22 条评论，是本批次中讨论最多的自然科学条目。
Leanstral 1.5：让形式化证明更充足可得
这条资讯指向 Mistral AI 发布的 Leanstral 1.5。标题中的“Proof Abundance for All”表明，该版本可能聚焦于 Lean 形式化证明、自动定理证明或数学推理能力的提升。输入没有正文内容，因此不能补充模型规模、训练数据、评测结果或开源许可等细节。该条来自 Hacker News Frontpage，获得 38 分和 5 条评论，属于本批次中与 AI 推理、形式化验证相关的重要发布。
让大脑同时思考与看见的神经回路
这条资讯指向哥伦比亚工程学院关于大脑神经回路的文章。原标题称，该回路让大脑能够“思考并看见”，主题可能涉及视觉处理、认知控制或二者之间的神经连接机制。由于输入未包含正文，无法确认研究团队、实验对象、技术路线或论文结论。该条来自 Hacker News Frontpage，获得 16 分和 2 条评论；相比其他条目互动较少，但主题覆盖神经科学与认知机制。