突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线
突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
来自主题: AI资讯
11130 点击 2026-10-07 15:20
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
DeepSeek Harness v0.2.1-alpha.1 加入实验性 Claude Code Mods 兼容层，用于验证其扩展能力与“一切皆插件”架构的关系，但目前尚不能保证所有 Mods 无缝运行。
Utopai Studios正以Utopai X和PAI将模型生成、素材管理及专业协作纳入同一电影制作流程，并规划三部2027年院线片，同时拓展DeNA合作与体育IP开发。
陶哲轩在SAIR最新演讲中呼吁AI公司放慢数学解题速度，称AI量产证明却缺乏理解、阐释和传播，将引发“Proof Indigestion”与数据污染风险。
普林斯顿大学陈丹琦团队在arXiv发布约4B参数模型QUEEN，通过门控交叉注意力连接Leela与SmolLM3-3B，并引入四阶段课程和迭代搜索蒸馏，使其棋力接近特级大师且能用自然语言解释着法。
Anthropic强化学习技术负责人Sholto Douglas预测，能力等于甚至超过所有人类的AGI可能在未来几年内出现，2028年AI年度资本开支或达4万亿美元，而研究员Nick Marwell对AI无需人类搭档后的后果表示紧张。
OpenAI在GitHub的openai/math仓库公开722份数学手稿，涉及372个问题家族及Lean形式化证明，并表示多数结果来自未发布的内部模型，部分未形式化结果可能存在问题。
Claude网页端和桌面端新增简体中文、繁体中文界面，但中国大陆及港澳仍不在Anthropic官方支持地区范围内。
据彭博社报道，DeepSeek即将敲定至少800亿元人民币的新一轮融资，腾讯和宁德时代承诺出资金额居前，该轮融资拟为2027年初IPO铺路，但最终条款仍未确定。
英伟达投资的Reflection发布开源模型Beam，采用MoE架构，专注代码、推理和Agent任务，官方称其以GLM-5.2三分之一至四分之一的推理算力取得相当成绩，但原始能力仍落后部分前沿开源模型，计划月底以Apache 2.0放出权重。