突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线
突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
来自主题: AI资讯
11566 点击 2026-10-07 15:20
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
Utopai Studios正以Utopai X和PAI将模型生成、素材管理及专业协作纳入同一电影制作流程，并规划三部2027年院线片，同时拓展DeNA合作与体育IP开发。
OpenAI在GitHub的openai/math仓库公开722份数学手稿，涉及372个问题家族及Lean形式化证明，并表示多数结果来自未发布的内部模型，部分未形式化结果可能存在问题。
Mistral 发布 Mistral Large 4，采用细粒度混合专家结构，总参数1.05T、每次激活49B，支持图文输入和100万上下文，API现已开放，权重计划于10月27日发布。
据彭博社报道，DeepSeek即将敲定至少800亿元人民币的新一轮融资，腾讯和宁德时代承诺出资金额居前，该轮融资拟为2027年初IPO铺路，但最终条款仍未确定。
清华团队开源以Qwen 3.8-27B为基础模型的VeriLoop E2，通过VGR外部证据门控实现可验证状态提交，并取得黎曼猜想临界线零点比例下界67.350003708785593%的严格有限维证书，但上游形式化桥接尚未完成。
StartLux发布完全开源的StartLux-Decision，其27B版本在Decision Index 0.2.1的38项基准中有31项超过Jev 1.13，并以63.88分升至公开榜首。
Tavus发布全双工视频到视频交互模型Griffin，可实时生成720p数字人并理解停顿、表情与动作，在一分钟测试中让54名参与者近48%误以为在与人交谈，但该结果未独立验证且模型尚未公开。
大模型竞技场Arena让Claude Opus 5.5与GPT-6 Astra各自练棋200局，前者估算评分从约1500升至1760，后者从第29盘的1810降至1400，显示AI仅靠记录与复盘提升能力的表现并不一致。
Anthropic 投入 1 亿美元成立 Claude Frontier Academy（Claude 前沿学院），计划在 2027 年底前培养 1 万名 FDE（前沿部署工程师），首批学员来自埃森哲、贝恩、麦肯锡等企业，已在旧金山、纽约和伦敦开班。