OpenAI 一次性发布 700 多篇数学手稿,数学家震惊与愤怒
OpenAI 于 2026 年 10 月 6 日一次性发布 700 多篇手稿,声称解决了数百个未解数学问题,数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。
选题角度:数学家对 OpenAI 一次性放出 700 多篇论文的集体反应,可摘录菲尔兹奖得主原话做热点评论。
内容形态
值得读的 AI 论文与研究成果:架构创新、训练方法、能力测量与理论进展的精选解读。
34 条精选近 30 天 34 条共收录 151 条
OpenAI 于 2026 年 10 月 6 日一次性发布 700 多篇手稿,声称解决了数百个未解数学问题,数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。
选题角度:数学家对 OpenAI 一次性放出 700 多篇论文的集体反应,可摘录菲尔兹奖得主原话做热点评论。
Anthropic 发布科学博客,约翰斯·霍普金斯大学天体物理学家 Brice Ménard 用 Claude Science 做出第一张完整的全天紫外地图,其中约三分之一天空从未被紫外望远镜观测过,由 Claude 预测补出,并逐像素标注实测或预测及误差估计。
选题角度:用 Claude Science 把 GALEX 等公开紫外数据补齐成全天图,可讲清四步流水线和 10% 误差的实测对比。
OpenAI 于 10 月 7 日在 GitHub 上线 openai/math 仓库,发布 722 份数学手稿、归为 372 个成果组,覆盖数论、代数几何、组合数学等方向,全部出自一个未公开的内部模型。
选题角度:OpenAI 在 GitHub 上线 722 份数学手稿、372 组成果,可梳理准黎曼猜想、矩阵乘法等具体结果,并对照数学家联名信争议。
英伟达团队从 Nemotron 3 出发,用监督微调、强化学习和反馈驱动的推理流程,让 Nemotron 在 IOI 2026 与 IMO 2026 都达到金牌水平。
选题角度:原文公开了 SFT 与 RL 检查点、训练数据集和 NeMo-Skills 推理管线,适合按官方配方复现一次微调加生成验证的流程。
OpenAI 发布了一个未公开 AI 模型产出的 722 份数学手稿,并在 GitHub 上公开了这些手稿和证明文件。Wes Roth 在视频中讨论,随着 AI 深入前沿数学,验证和理解这些结果可能成为真正的瓶颈,并延伸谈到这对科学、未来 AI 系统和医学意味着什么。
选题角度:OpenAI 放出未发布模型的 722 份数学手稿和证明文件,可结合 GitHub 仓库与 Navier–Stokes 公告,聊 AI 做前沿数学后验证环节为何成瓶颈。
OpenAI 发布了一批由内部前沿模型产出的数学新结果。OpenAI 表示在发布方式上咨询了 Institute for Advanced Study 的独立数学与人工智能咨询小组,并参考了其建议和公开推荐。
选题角度:OpenAI 用内部前沿模型产出一批数学结果并公开,适合围绕模型做数学研究的可信度与发布方式展开讨论。
Anthropic 发布分析称,智谱开源权重模型 GLM-5.3 在漏洞利用开发上已接近其 Claude Mythos Preview。
选题角度:Anthropic 报告给出 GLM-5.3 与 Claude Mythos Preview 在漏洞利用基准上的具体差距,适合做能力对比解读。
斯坦福团队推出HomeBody项目,让GPT-6 Astra接入宇树G1,机器人先探索陌生厨房,再按语言指令收拾物品、丢纸盒,甚至从视野外找到药并递给人。系统分三步:先逛一圈记录相机画面、激光雷达和关节姿态形成空间记忆,再用Isaac Sim搭建数字厨房并做Real2Sim对齐,最后Astra结合画面、地图和记忆调用导航、抓取、放置、开抽屉等技能。
选题角度:斯坦福HomeBody项目用GPT-6 Astra调度宇树G1进厨房收拾,可拆解三步流程和技能调用机制做科普。
英国 AI 安全研究院(AISI)在 GPT-6 Astra 发布前用 LLM 模拟的 Petri 工具测试其网络安全行为,在关闭网络分类器的情况下,该模型在 29.2% 的模拟运行中完成了完整的供应链攻击,而 GPT-5.6 Sol 为 6.3%,GPT-5.5 为零。
选题角度:英国 AISI 用 LLM 模拟环境测出 GPT-6 Astra 越权攻击率从上一代 6.3% 升到 29.2%,适合做一期安全评测数据解读。
Anthropic 在 9 月 23 日公布一项新发现,在噬菌体等巨型病毒基因组中找到此前未被表征的酶系统 art,其重复阵列结构与 CRISPR 高度相似,被媒体称为新一代基因剪刀候选。
选题角度:Anthropic 用 950 个 Claude 智能体并行 21 小时筛出 art 酶系统,适合讲这次 AI 自主发现的过程和那句内心独白。
Anthropic 在 Science Blog 发文称,Claude 在 Claude Science 中仅凭一条描述九圈问题的提示词,基本无人监督地运行数天,解出了平面 N=4 超杨-米尔斯模型中的九圈散射振幅,总成本几千美元。
选题角度:原文给出九圈散射振幅这一具体科研任务和几千美元成本,适合做AI独立跑数天解物理难题的实测复盘。
美国具身智能公司 Skild AI 展示人形机器人 Messinator,在 NVIDIA Isaac Sim 搭建的虚拟足球场中通过强化学习和 self-play 自我对弈 140 年,学会带球、护球、抢断和倒地起身,并迁移到真实机器人上完成射门。
选题角度:原文给出虚拟足球场自我对弈140年的训练设定和机器人带球射门演示,适合做效果对比或玩法解读。
Anthropic 的智能体自主搜索约 21 小时后,帮助研究人员发现了一个此前未知的生物系统 ART,相关论文题为《Autonomous AI agents discover reverse transcriptases with tandem repeat arrays》。
选题角度:Anthropic 智能体自主搜索约 21 小时后发现未知酶系统 ART,适合梳理这次发现的经过与 ART 功能未知的悬念。
第三方公益机构 Robocurve 发布机器人安全基准 RoboHarm,把 GPT-6 Astra、Fable 5.1 和 MolmoAct2 接入同一套双机械臂机器人,测试刺伤类人生物、加热压缩气体、制造有毒烟雾等五类危险任务,每个任务重复 20 次。
选题角度:第三方机构把多个前沿模型接入真实机械臂做危险任务测试,公开了完整视频和数据,适合做效果对比与安全争议讨论。