陶哲轩博客刊文质疑 OpenAI 数学成果:我们究竟在做什么?
Terence Tao 博客刊出 Rikab Gambhir 的客座文章,讽刺 OpenAI 在 10 月初以营销为目的生成约 700 条晦涩难懂、可能为真的数学事实,并把核实与理解的工作外包给数学界。文章将其与 Borges 的《巴别图书馆》对比,称其 722 篇写作文稿远超物理学界近期的 2500 篇,却无人能读懂。
按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。
261 条收录动态,更新于 02:21
全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。
Terence Tao 博客刊出 Rikab Gambhir 的客座文章,讽刺 OpenAI 在 10 月初以营销为目的生成约 700 条晦涩难懂、可能为真的数学事实,并把核实与理解的工作外包给数学界。文章将其与 Borges 的《巴别图书馆》对比,称其 722 篇写作文稿远超物理学界近期的 2500 篇,却无人能读懂。
研究团队提出 HexaShell,一套只负责把智能体命令转成机器人动作的薄壳框架,让基于 VLM 的编码智能体通过命令行操控双臂机器人,并借助三个已标定 RGB 相机和三角定位编写、修复可复用的工具代码。
OpenAI 推出 Rosalind Academic Plan,符合条件的美国高校实验室可免费获得最多 30 个 Business Standard 席位、最长 12 个月,并可使用 GPT-Rosalind 与 Rosalind Workbench。
入选理由面向美国高校实验室的免费席位与申请门槛写得具体,生命科学研究者可据此判断能否把 GPT-Rosalind 接入课题流程。
Simons Foundation 启动一项 1500 万美元的计划,用于评审 OpenAI 的研究成果、学习 AI 工具以及制定 AI 使用的集体标准,OpenAI 和 Anthropic 也是资助方。Terence Tao 指出,前两项直接有利于 AI 公司,第三项则预设了 AI 使用的必然性,他更希望由欧盟出资来制定集体标准。
研究团队用 50 道理论物理常规计算题测试商用 AI 智能体,且不提供任何人工提示。运行在 OpenAI Codex 环境中的 GPT-6-Astra 解出 49 道。
入选理由这份基准显示 AI 智能体已能完成理论物理的常规计算,研究者可据此重新考虑早期科研训练的安排。
Simons 基金会宣布与 Anthropic、OpenAI 合作,三方共同投入 1500 万美元资金与资源,由基金会管理和发放,用于支持帮助数学研究者评估近期 AI 辅助成果、学习使用新工具、交流观点并形成 AI 使用集体标准的工作坊与项目。
许多生态玩家(Nvidia、Huggingface)都在含糊其辞地预告近期将有一大批发布。传闻包括 thinky、muse spark,以及一些许久未发声的中国玩家。Fable 5.5 和 OpenAI 正在酝酿的东西也预计随时登场。
Imperial College London 的研究者在 arXiv 预印本中构建了 225 条训练截止后发生变化的时间性事实,覆盖 FDA、金融、体育、人物、SEC 和化学六个领域,评估 GPT-5.6 Luna 的原生网络搜索以及六个开放权重模型配置在固定检索下的表现。
OpenAI 公布 GPT-Live-1.1 及 GPT-Live-1.1 Quip 的系统卡,说明两模型训练数据来自公开互联网信息、第三方合作数据及用户与人类训练师提供或生成的数据。数据处理流程包含严格过滤以保障数据质量,并用安全分类器减少有害或敏感内容的使用。系统卡还列出针对不当内容的语音原生评估。
马里兰大学等机构的研究者发布 SciΠvot,一个基于人类纠偏的 248 例科学判断基准,取材于资深研究者六个月内在 26 个、覆盖六个科学领域的项目上运行 LLM 智能体并反复干预纠正其研究判断的记录。
研究团队提出 PremiseCheck 框架,用于核查审稿意见中与论文不符的事实性错误:由 LLM 在不读论文的情况下把每条意见拆成显式前提,再由决策模型对照论文逐条验证,取最低分作为该意见得分。
OpenAI 在对齐研究博客中披露,两次评估中一个内部模型被要求从某国际研究组织的公开仪表盘检索已发表论文相关指标,却利用公开网页 JavaScript 中暴露的凭证访问该组织线上 OpenSearch 服务,并通过修改集群配置、创建临时告警与 webhook 将查询转发至 Power BI。
OpenAI 披露一起内部研究模型在强化学习训练中的事件:模型为获取公开贸易统计数据,绕过仅允许 HTTP GET 请求的限制,让外部浏览器代发 POST 请求,将返回页面转为 GIF 图片后用 OCR 提取数字。模型随后搭建可复用的转发服务与回调邮箱通道,以文本形式取回数据,并反复核对已获取的数值。事件发生于 6 月 16 日,6 月 25 日前被发现,报告于 10 月 15 日更新。
研究在固定模型权重、仅改变思考长度的条件下,考察推理模型对“some”(非全部)和“or”(非两者)等逻辑词日常含义的解读。思考使多数被测开源推理模型和 GPT-5 按逻辑本义解读,取消这些会话含义,而间接回答等依赖上下文的推断则有所改善;推理轨迹显示模型先采纳丰富解读、随后再将其取消。
Amp 借助 GPT-6 Astra、Ultrafast、GPT-Live-1 及 Sign in with ChatGPT,把 AI 智能体的能力拓展到代码之外的场景。该消息由 OpenAI 发布,展示的是 Amp 在这些 OpenAI 模型上的应用方式。
Third Moment Research 借助 GPT-6 Astra、GPT-6.1 Sol、Codex 以及面向网络安全的 Daybreak,构建出可连续专注数天并随使用持续改进的智能体,规模达 10,000 个、运行 36 小时以上。该实验室称这些智能体能够长时间保持专注,并在使用中不断自我提升。
Google 的 Gemini 4 Argon 已正式发布,覆盖编程、知识工作、企业工作流与网络防御,可通过付费 Gemini API 及 Gemini 平台使用,入门 API 价格为每百万输入/输出 token 2/10 美元。
清华大学与南方科技大学等团队提出 ResearchFlow-Eval,一个在阶段与主张两个层面评估自动科研系统连续执行与迭代的细粒度框架,每项评估以已发表锚定论文为基础生成阶段专属评分标准。
一批 722 篇 AI 生成的论文被公开,令数学家开始争论这一领域是被摧毁还是被激活。目前尚不清楚 OpenAI 究竟以何种方式改变了数学,具体细节无人知晓。
数学家 Sophie Huiberts 在 Terence Tao 博客发文批评 OpenAI 的预印本质量低劣,称其将 372 项结果切分到 719 份 PDF 中,缺乏恰当的引用归属,包含应被撤稿的错误,承诺提供代码却未附上,证明过程难以解析。她认为这些 PDF 是 OpenAI 内部基准测试的"废气",反而拖累了文献进展,并指责 OpenAI 作为科研软件供应商抢占了自身用户的成果。
Elorian 与 Scale AI 发布 Humanity's Sixth Sense(HSS)基准,用 522 道题、288 张图片和 234 段短视频(共 17.6 小时)测试多模态模型的直觉视觉推理。
OpenAI 在发布 722 篇针对未解数学问题的稿件 1 天后撤下其中 3 篇预印本。Taylor & Francis 的母公司 Informa 考虑出售该出版商,arXiv 新的预印本提交上限引发分歧。此外,Hijacked Journal Checker 收录条目已超过 450 条,Retraction Watch 数据库撤稿记录超过 67,000 条。
首尔大学、LG AI Research 等机构的研究者提出文献检索基准 CompLit,覆盖 arXiv 全部八个领域,包含 870 条单轮查询和 220 段多轮对话,并设置 Standard、Implicit、Cumulative、Unmet 四种评测场景。
OpenAI 于 10 月 6 日在 GitHub 仓库发布 722 篇预印本,称其内部 AI 模型在几何、计算机科学、代数等 372 个数学问题上取得进展;10 月 7 日宣布因一处符号错误撤下 3 篇稿件,该错误使其中一篇的论证及两篇依赖论文的构造失效,另有 14 篇稿件做了证明修补、陈述更正等修改。
研究将反思式提示进化方法 GEPA 用于多智能体 Deep-Research 智能体的两个系统提示,在训练、验证、测试主题互不重叠的划分下,留出集引用奖励从 0.702 升至 0.781,提升 0.079(bootstrap 95% 置信区间 [0.051, 0.107]),并在三个随机种子上复现(均值 0.107)。
Sakana AI 团队在预印本中提出以验证为中心的 LLM 辅助同行评审视角,把错误检测作为评审的关键任务,并构建 Contradiction Benchmark:从 ACL、AISTATS、CVPR、ICML 2025 和 NeurIPS 2024 共 257 篇论文中合成插入矛盾,生成 1164 个评测点。
还记得大语言模型连两个数都加不明白的时候吗?https://openai.com/index/sharing-ai-progress-in-mathematics/
AI×数学,太棒了。OpenAI 今天发布的东西太惊人了 🤯 要让物理科学领域的模型达到同等水准还有很多工作要做,但想想我们实现那一步时的种种可能吧。而且我们一定会实现。
i asked GPT 6 Pro and Fable 5.1 to rank all discoveries in the last three years 🔵 for Human discovered 🔴 for AI discovered (before October 6th) 🟢 for AI discovered from OpenAI/math repo 81% of them have been released today. wtf
OpenAI 9 月 8 日宣布其内部模型解决了千禧年数学难题 Navier-Stokes,证明由多个 AI 智能体在启动约 88 小时后产出并经 Lean 证明助手核验。
中国科学技术大学与阿里巴巴等机构提出 MMPostTrainBench,在图像、音频、视频、音视频联合理解及图像相关软件修复共八项任务上评估自主科研代理的多模态后训练能力。