OpenAI证明准黎曼假设后，数学家借其成果无条件证明19年悬置的Ellenberg–Venkatesh界
10月6日OpenAI宣称AI证明了准黎曼假设，数日后数学家Cureton与Thorner将这一结果平移至有限阶Hecke L函数，得到1-1/6000右侧无零点；开源社区随后把零点自由区边界推至1/32，并用Lean定理证明器完成形式化验证。
选题角度：原文串起从OpenAI准黎曼假设到1/32零点自由区再到19年难题被无条件证明的完整链条，适合做一次数学突破时间线复盘。
#推理
公众号 · 新智元精选AI 评分5858 公众号 · 新智元精选AI 评分5858 南芥智能发布Mio 1.0 Lite技术报告，九项基准平均分77.15居首
南芥智能发布技术报告《Toward Collective Model Intelligence》，提出「模型群体智能」方向，并推出协调多款国产模型的Mio 1.0 Lite。
选题角度：技术报告给出九项基准的得分与单次成本对比，适合做一张成本与得分的对照图，讲清国产模型组合如何反超前沿单体模型。
公众号 · 新智元精选AI 评分7676 哈佛等机构发布TheoPhysEval评测：GPT-6 Astra解决98%理论物理难题
哈佛、Google DeepMind等机构联合发布理论物理评测TheoPhysEval，GPT-6 Astra在50道未发表难题中解出49道，得分98%。初评时Astra得88%、Claude Opus 5.5得92%，专家复核后发现部分标准答案存在符号错误等疏漏，修正后Astra升至98%。评测分联网与断网两轨，断网隔离轨道中Astra与Opus 5.5均为92%，平均每题API成本不到3美元。
选题角度：原文给出50道未发表物理难题的评测细节和AI反向纠错专家的过程，适合做一次评测解读，重点讲AI在隔离轨道下的表现和每题不到3美元的成本。
公众号 · 新智元精选AI 评分7878 谷歌DeepMind AlphaProof Nexus 成果登上 Science，证明9项埃尔德什问题
谷歌DeepMind的AlphaProof Nexus成果登上Science，为9项埃尔德什问题和OEIS中44项整数序列猜想给出证明，其中两道悬了56年的埃尔德什问题第12号子问题被解决。
选题角度：原文给出两道悬了56年的埃尔德什问题证明思路和对照测试结果，适合做AI与数学家接力改证明的案例讲解。
公众号 · 新智元精选AI 评分5858 Scale AI 发布 HSS 基准测试 AI 视觉直觉，最强模型 GPT-6-astra 仅得 53.6 分
Scale AI 联合 Elorian 发布新基准 Humanity's Sixth Sense（HSS），专门测试人类一眼就能完成的直觉式视觉推理，20 名人类参与者得分 93.1%，榜首 GPT-6-astra 即使开到最大推理强度也只有 53.6%，25 个模型的中位数仅 30.9%。
选题角度：Scale AI 新基准 HSS 的 522 道题和 25 个模型榜单都公开，适合挑几道人类一眼能答、模型答错的题做对比演示。
X · Anthropic精选AI 评分6262 Anthropic 用 Claude Mythos 5 设计出更高效的量子电路
Anthropic 的 STEM Fellows Program 发布新成果，Claude Mythos 5 在给定自然语言指令后设计出量子电路，效果优于已发表的最优电路，部分情况下提升一个数量级甚至更多。更高效的电路可减少量子算法所需资源，有望让化学和材料科学领域的量子计算应用更早落地。
选题角度：Anthropic 官方披露 Claude Mythos 5 按自然语言指令设计量子电路，效果超过已发表最优结果，适合做效果对比解读。
公众号 · 新智元精选AI 评分6060 OpenAI前研究员Nick Cammarata发布长文：约90%神经元各有一个主要任务
OpenAI前研究员Nick Cammarata与Goodfire团队发布长文《神经网络早已「干净」》，提出神经网络内部计算有规律可循，而非一团混乱。团队在320亿参数语言模型中分开统计神经元正负响应，粗略估计约90%各有一个主要任务，约2%至4%仍未理解，并公开了1000份随机神经元研究报告。
选题角度：原文给出钱包归还、圣诞老人等具体神经元干预实验和90%神经元单一任务的统计，适合做可解释性研究的效果对比解读。
Reddit · AI 大众社区精选AI 评分6262 GPT-6.1 Sol 审查近 800 篇数学论文，6% 存在重大错误
GPT-6.1 Sol 审查了近 800 篇数学论文，发现 6% 存在重大错误，另有 30% 存在小错误。研究人员估计其重大发现的 90% 是正确的。随着 AI 使用率上升，较新论文的重大错误率降至 1.5%。
The Decoder精选AI 评分7878 GPT-6-Astra在50道理论物理研究题中解出49道，单题成本约2.40美元
一项新基准测试让商用AI智能体在无人类提示下解50道理论物理研究题，运行在OpenAI Codex环境中的GPT-6-Astra答对49道（98%），平均每题成本不到3美元，整轮约116美元。
选题角度：原文给出50道理论物理题的完整榜单和每题成本，适合做一次多模型同题实测对比，重点看GPT-6-Astra与Opus 5.5的差距和联网与否的分数变化。
Hugging Face Blog精选AI 评分6262 Nemotron 微调后在 IOI 2026 与 IMO 2026 双双达到金牌水平
英伟达团队从 Nemotron 3 出发，用监督微调、强化学习和反馈驱动的推理流程，让 Nemotron 在 IOI 2026 与 IMO 2026 都达到金牌水平。
选题角度：原文公开了 SFT 与 RL 检查点、训练数据集和 NeMo-Skills 推理管线，适合按官方配方复现一次微调加生成验证的流程。
X · Anthropic精选AI 评分6262 Anthropic 称 Claude 在 Claude Science 中解出九圈散射振幅
Anthropic 在 Science Blog 发文称，Claude 在 Claude Science 中仅凭一条描述九圈问题的提示词，基本无人监督地运行数天，解出了平面 N=4 超杨-米尔斯模型中的九圈散射振幅，总成本几千美元。
选题角度：原文给出九圈散射振幅这一具体科研任务和几千美元成本，适合做AI独立跑数天解物理难题的实测复盘。
量子位精选AI 评分7878 Skild AI 用自我对弈训练人形机器人 Messinator 踢足球
美国具身智能公司 Skild AI 展示人形机器人 Messinator，在 NVIDIA Isaac Sim 搭建的虚拟足球场中通过强化学习和 self-play 自我对弈 140 年，学会带球、护球、抢断和倒地起身，并迁移到真实机器人上完成射门。
选题角度：原文给出虚拟足球场自我对弈140年的训练设定和机器人带球射门演示，适合做效果对比或玩法解读。
已经到底了