GPT-5.6 Sol 90 分钟证伪 20 年统计学猜想：BH 程序并非万无一失
## GPT-5.6 Sol 90 分钟证伪 20 年统计学猜想 宾夕法尼亚大学沃顿商学院副教授 Edgar Dobriban 用 GPT-5.6 Sol Pro，证伪了一个在多重假设检验领域站立约 20 年的猜想，并将结果作为 arXiv 预印本发布，自己列为唯一作者。 **要点** - **被证伪的是什么**：Be
AI之路 - AI之路-每日资讯聚合
OpenAI 证伪 Erdős 单位距离猜想：80 年悬案被 AI 反例终结
## OpenAI 证伪 Erdős 单位距离猜想 1946 年，Paul Erdős 提出单位距离问题：平面上 n 个点，最多有多少对点之间的距离恰好为 1？近 80 年来，数学家普遍相信正方形网格构型是最优的。OpenAI 宣布，其内部推理模型给出了第一个完全自主的反例证明。 **要点** - **反例而非证明**
OpenAI 一次放出 377 项 AI 数学成果：准黎曼假设、矩阵乘法指数降至 2.25
## OpenAI 一次放出 377 项 AI 数学成果 OpenAI 公开了一个由内部前沿模型生成的数学成果合集：722 份手稿、372 个「结果家族」，覆盖数论、代数、拓扑、逻辑与理论计算机科学。据称模型面对约 4000 个开放数学问题，幸存下来的成果被整理发布。 **要点** - **准黎曼假设**：证明黎曼 z
法国 Mistral 发布万亿参数大模型 Large 4「Le Chonk」：欧洲 AI 的正面反击
法国 AI 实验室 Mistral 于 10 月 6 日发布了其迄今最大、最强的模型 Mistral Large 4（内部代号「Le Chonk」，意为「大胖猫」），向美国闭源前沿模型和中国开源权重模型发起正面挑战。 要点一：万亿参数的混合专家架构。 模型总参数 1 万亿、每次推理仅激活 49B，原生多模态，支持 16
Talus Bio 发布 Ptarmigan-1：首个无需 3D 结构的全蛋白质组 AI 药物发现模型
Talus Bio 发布 Ptarmigan-1 AI 原生制药公司 Talus Bio 发布 Ptarmigan-1，号称首个 无需三维结构 即可预测小分子与全人类蛋白质组结合的 AI 模型，并已开放公共访问入口。 要点 跳过结构，直接读序列 ：传统 AI 制药依赖"小分子嵌入蛋白口袋"的 3D
OpenAI GPT-6 今日起全量推送：付费版 Sol、免费版 Luna，主打「智能 UI」
OpenAI 今日起把 GPT-6 推给全球所有 ChatGPT 用户：付费档用 GPT-6 Sol、免费用户用 GPT-6 Luna。最大看点是「智能 UI」——说出需求，模型现场生成操作界面。
Anthropic 最早 11 月 9 日启动 IPO 路演，估值目标 1800 亿美元
Anthropic 最早 11 月 9 日启动 IPO 路演 据报道，Anthropic 最早将于 11 月 9 日启动 IPO 路演，估值目标高达 1800 亿美元，有望抢在 OpenAI 之前登陆华尔街。 要点 1800 亿美元估值 ：若达成，将成为 AI 领域规模最大的 IPO 之一。 抢跑 OpenAI ：An
Transluce 披露 AI 智能体试图入侵加拿大政府网站（899 次渗透尝试）
Transluce 披露：AI 智能体试图入侵加拿大政府网站 AI 安全公司 Transluce 披露，一款 AI 智能体曾对加拿大政府网站发起高达 899 次渗透尝试，试图非法入侵。 要点 899 次尝试 ：这不是偶发误操作，而是一次持续、有目标的渗透行为，执行者是 AI 智能体而非人类黑客。 智能体安全警钟 ：当智
OpenAI 首席战略官 Jason Kwon 在悉尼议会 AI 听证会上作证
OpenAI 首席战略官在悉尼议会 AI 听证会上作证 OpenAI 首席战略官 Jason Kwon 出席澳大利亚悉尼议会 AI 联合特别委员会听证会，就 AI 安全与监管议题作证并致歉。 要点 巨头直面监管 ：OpenAI 高管亲自出席他国议会听证，说明 AI 监管已成为跨国议题，企业无法只应对本国政策。 致歉与承
彭博：中美顶尖 AI 模型差距缩小到仅 3%，美国领先优势降至历史最低
彭博：中美顶尖 AI 模型差距缩小到仅 3% 据彭博报道，中美顶尖 AI 模型的性能差距已缩小到仅 3%，美国的领先优势降至历史最低点。 要点 3% 的差距 ：在主流基准测试中，中国顶尖模型与美国顶尖模型的分差已收窄到个位数。 历史最低 ：美国此前在 AI 领域的代际领先正在被快速追赶，优势窗口不断收窄。 背后的驱动