Claude 算出九圈散射振幅：一句话指令、几千美元，打破理论物理纪录
## Claude 算出九圈散射振幅 Anthropic 宣布，Claude 在科学平台 Claude Science 上以极小的人类监督连续运行数天，算出了平面 N=4 超杨-米尔斯理论中的九圈六粒子散射振幅——这是理论物理「散射振幅」方向公认的前沿难题。 **要点** - **打破三年纪录**：此前纪录是 2023
标签「人工智能」下的文章
GPT-5.6 Sol 90 分钟证伪 20 年统计学猜想：BH 程序并非万无一失
## GPT-5.6 Sol 90 分钟证伪 20 年统计学猜想 宾夕法尼亚大学沃顿商学院副教授 Edgar Dobriban 用 GPT-5.6 Sol Pro，证伪了一个在多重假设检验领域站立约 20 年的猜想，并将结果作为 arXiv 预印本发布，自己列为唯一作者。 **要点** - **被证伪的是什么**：Be
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