突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线
突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
来自主题: AI资讯
9952 点击 2026-10-07 15:20
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
DeepSeek Harness v0.2.1-alpha.1 加入实验性 Claude Code Mods 兼容层，用于验证其扩展能力与“一切皆插件”架构的关系，但目前尚不能保证所有 Mods 无缝运行。
Anthropic强化学习技术负责人Sholto Douglas预测，能力等于甚至超过所有人类的AGI可能在未来几年内出现，2028年AI年度资本开支或达4万亿美元，而研究员Nick Marwell对AI无需人类搭档后的后果表示紧张。
Claude网页端和桌面端新增简体中文、繁体中文界面，但中国大陆及港澳仍不在Anthropic官方支持地区范围内。
在Anthropic冲刺IPO之际，Meta将Claude Code活跃用户从6万降至3万并转向Muse Code，微软也将内部Claude支出削减逾33%，单员工月度Token预算从10万美元降至1万美元。
Anthropic 为 Claude Code 默认开放可深度改装的 Mods，并推出拥有超 2000 个插件和连接器的 Claude Marketplace，但高权限与暂缺收益分成也带来安全和持续运营疑问。
OpenAI将订阅用户使用GPT-6 Astra和GPT-6.1 Sol的速度提升约50%，但SemiAnalysis实测称Anthropic订阅的API等价价值约为OpenAI的5倍，OpenAI 200美元套餐额度也已减半。
今天，外网被这个视频刷屏了。有人用Fable 5.5一键生成了一部「人类数万年进化史」，把整个人类历史压缩进了3分钟。整个过程，都是用纯代码写出，零视频素材，零版权音乐，没有使用任何视频生成模型。
哈佛物理学家Matthew Schwartz用Claude和开源工具BootLoops处理可验证的科研任务，90天产出横跨18个学科的36篇论文初稿，并主张由人挑题、追问和验收，让AI发挥辅助而非替代科学家的作用。
大模型竞技场Arena让Claude Opus 5.5与GPT-6 Astra各自练棋200局，前者估算评分从约1500升至1760，后者从第29盘的1810降至1400，显示AI仅靠记录与复盘提升能力的表现并不一致。