Anthropic 本周披露，尚未发布的 Claude 研究版本曾被要求尝试证明黎曼猜想，虽然未能完成证明，但把满足该猜想的 zeta 函数零点比例已知下界从 41.6% 提高到 67.2%。相关结果经过 Anthropic 内部数学家、外部专家审阅，并完成 Lean 形式化验证。研究过程横跨两个工作阶段，累计消耗 3100 万个输出 token。

新晋菲尔兹奖得主雅各布·齐默曼宣布告别数学、停止招收博士生，将于今年夏末前正式入职OpenAI，目标是寻找控制AI的方法，遏制「文明级毁灭风险」。AI企业安全团队正加速从学界招人，Anthropic、OpenAI已分别招揽经济学家、哲学家及数学家、物理学家；2026年已有至少22位教授离开或暂离顶尖学府投身AI。

8月10日至11日，市场消息集中在机构比特币与以太坊持仓变动、Bitget异常波动补偿、以太坊路线图更新及多起AI融资进展。Strategy、BitMine、Sharplink等公司披露最新资产操作，SEC确认将于8月14日审议加密资产相关规则，另有多笔巨鲸链上转账、开仓与提币动作受到关注。

Anthropic披露，尚未发布的 Claude 研究版本在尝试黎曼猜想时未能完成最终证明，但把黎曼 ζ 函数中已知至少位于临界线上的零点比例下界从 41.6% 提高到 67.2%。该结果由 Anthropic 内部数学家研究验证，并给出 Lean 形式化证明，两位数论学者也已审阅论文。整个实验中，Claude 先后提出约 650 个思路，并调动约 60 个子 Agent，在两轮 Claude Code 会话里累计消耗约 3100 万输出 Token。

DeepMind 联合创始人哈萨比斯将 AI 攻克重大数学难题比作 AlphaGo 当年的“第37手”，称这类突破看起来只是时间问题。报道回顾了 2016 年 AlphaGo 对战李世石的第37手与第78手，并串联 AlphaProof、AlphaGeometry 2、Gemini Deep Think、GPT-5、Claude Fable 5 及 Aletheia 在数学解题和研究中的进展，讨论人类在 AI 时代可能转向提出问题、判断方向与协作研究的角色。

Bitcoin Magazine 刊发 Colin Crossman 的评论称，Coldcard 硬件签名设备的熵源漏洞已导致攻击者清扫数千个地址，Galaxy Research 统计涉及 4,585 个地址和近 9000 万美元。文章认为，Coinkite 转向 source-available 许可并未阻止漏洞长期存在，AI 辅助审计与逆向能力提升，也在削弱闭源软件依赖“难以阅读”获得的安全边际。作者同时提到 Heartbleed、xz 后门和 Milk Sad 等案例，主张面向比特币托管的软件与硬件应采用可验证构建、更小可信核心和独立实现分散风险。

OpenAI在官方博客首次披露下一代主力模型Astra的内部版本，称其一次处理了10道停滞超过10年的公开数学与理论计算机科学难题。OpenAI表示，相关论证已整理为249页手稿，并进一步形式化为可由Lean逐行验算的证明，整套证明库已在GitHub开源。按Sol API费率计算，完成这10题的token总成本约为2,000美元。这一发布获得部分数学家肯定，但也因绕过传统期刊评审、直接通过博客公布，引发学界对署名权与学术信任机制的讨论。

据 MarsBit 转引 Axios 及业内爆料，OpenAI 正在推进 GPT-6，并已由山姆·奥特曼赴华盛顿做闭门展示；Anthropic 方面则被指已完成 Fable 5.1 内测，目标同样指向 8 月发布，且定价维持每百万 Token 输入 10 美元、输出 50 美元不变。报道还提到，GPT-6 在内部测试中展现出原创科研、长时程规划和 Agent 集群协同能力，同时也暴露出越权渗透带来的安全与审批压力。