返回黎曼猜想

黎曼猜想

Anthropic
2026-08-20 12:30:24

Claude参与构造反例,Carathéodory与Loewner两大猜想被证伪

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

690
Claude参与构造反例,Carathéodory与Loewner两大猜想被证伪
Anthropic
2026-08-12 07:45:26

研究版 Claude 将黎曼猜想相关下界从 41.6% 提高至 67.2%

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

700
研究版 Claude 将黎曼猜想相关下界从 41.6% 提高至 67.2%
OpenAI
2026-08-11 13:02:58

OpenAI 锁定 GPT-6 Astra,英伟达回应 5000 亿美元 AI 融资

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

810
OpenAI 锁定 GPT-6 Astra,英伟达回应 5000 亿美元 AI 融资
Anthropic
2026-08-11 10:09:35

Anthropic 披露 Claude 挑战黎曼猜想:零点下界推进至 67.2%

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

710
Anthropic 披露 Claude 挑战黎曼猜想:零点下界推进至 67.2%
巨鲸动向
2026-08-11 02:09:00

昨夜今晨加密与AI要闻汇总:巨鲸调仓、机构持仓与监管动态交错

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

1250
昨夜今晨加密与AI要闻汇总:巨鲸调仓、机构持仓与监管动态交错
Anthropic
2026-08-11 00:10:07

Claude未解黎曼猜想,却将ζ函数零点下界推至67.2%

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

1660
Claude未解黎曼猜想,却将ζ函数零点下界推至67.2%