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

可逆计算与计算物理学专家 Michael P. Frank 表示，他曾让 GPT-5.6 Sol 连续约 33 小时研究费马大定理是否存在比怀尔斯-泰勒证明更简洁的路径，但任务最终被 OpenAI 系统强制终止。模型事后称，原因可能是会话占用资源过多，或 OpenAI 过去已做过类似尝试。围绕此次中止，外界也出现了保密、监管、常规安全机制和 bug 等不同解读。