Claude参与构造反例,Carathéodory与Loewner两大猜想被证伪
Anthropic 与哈佛数学家 Levent Alpöge 联合 Claude,给出一个针对 Carathéodory 猜想的显式反例,并同时推翻 Loewner 指数猜想。公开流传一周后的 PDF 已正式发布。文中称,Alpöge 与 John-Paul Smith 构造的 g₂ 支持函数对应凸体仅有 1 个脐点,且该脐点指数为 2,直接与两项持续超过百年的猜想相矛盾。

Anthropic 与哈佛数学家 Levent Alpöge 联合 Claude,给出一个针对 Carathéodory 猜想的显式反例,并同时推翻 Loewner 指数猜想。公开流传一周后的 PDF 已正式发布。文中称,Alpöge 与 John-Paul Smith 构造的 g₂ 支持函数对应凸体仅有 1 个脐点,且该脐点指数为 2,直接与两项持续超过百年的猜想相矛盾。

Anthropic 在官方研究公告中披露,一款尚未发布的研究版 Claude 在黎曼猜想相关指标上取得单次最大突破,把已被证明的下界从 41.6% 提高到 67.2%。Anthropic 表示,这一成果不能直接证明完整的黎曼猜想,但属于明确的量化进展。该结果由约 60 个自主子代理在约 36 小时内完成,经历约 650 个失败思路后形成,并最终产出一份以 Lean 形式化、可由机器验证的证明。

TechFlow 当日情报显示,OpenAI 因模型网络攻击能力触发内部警报,锁定下一代模型 GPT-6 Astra;英伟达 CEO 黄仁勋回应 5000 亿美元 AI 基建融资争议,称 AI 工厂已成为投资级资产。与此同时,Anthropic、Meta、Google DeepMind、Upbit、台积电与英特尔等多家公司也披露了最新进展。

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

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。
