技术突破

Bend 是一种面向 GPU 的编程语言，通过内置证明机制在编译期拦截 AI 生成代码中的逻辑错误，试图从源头解决 AI 编程的可靠性问题。

继纳维-斯托克斯方程之后，OpenAI 被曝正攻关霍奇猜想，员工预期很快有结果，但官方可能因上次公关危机而推迟发布。

华为正加速推进下一代AI芯片Ascend 960DT，计划于2027年第一季度发布，意在缩小中国与美国在AI算力上的差距，并进一步挑战英伟达的市场地位。

一位开发者声称用 OpenAI 的 GPT-6 Astra 在十小时内破解了 1941 年德军恩尼格玛密电，内容只是一名士兵询问行军路线。该结果尚未经过独立验证，但它再次引发了对大模型推理能力边界的讨论。

机器人行业迟迟未能走进日常生活，英伟达的 Les Karpas 在 TechCrunch Disrupt 2026 上解释了这一瓶颈的成因。

MIT Tech Review 指出，随着半导体与数据中心逼近性能、散热、能效和可靠性的物理极限，支撑 AI 基础设施的材料正变得和算法同等关键。

AI、基因编辑与计算生物学的进展，正把“复活灭绝物种”从科幻变成一家十亿美元级创业公司的使命。技术可行性之外，更尖锐的问题是：我们该不该这么做？

克雷数学研究所称纳维-斯托克斯方程这一悬赏百万美元的千年难题“似乎已被解决”，正式审查程序已经启动。若最终通过，这将是数学史上罕见的里程碑事件。

Hacker News 上一条讨论显示，Claude 的一个版本解开了尘封 370 年的 Cyphral Distich 密码。这件事的意义不在于密码本身，而在于大模型开始被用于处理长期悬而未决的冷门学术问题。

在新机器人基准 StationeryBench 上，GPT-6 Astra 让双臂机器人完成了 100 项任务中的 7 项，而竞品 MolmoAct2 一项未成，研究者称其为空间推理的“阶跃式变化”。

OpenAI 宣称解决了一个千禧年大奖难题，这本该是历史性时刻，但数学界的反应更多是警惕。本文梳理事件的来龙去脉，以及它对 AI 与基础科学关系的意味。

Hacker News 上的一篇讨论提出，AI 在攻克高难度数学问题上的能力，与它可能带来的失控风险是同一枚硬币的两面。本文梳理这一观点的背景、争议与对行业的实际影响。