资讯

陶哲轩警示 OpenAI 批量生成证明，数学界面临“证明消化不良”

AIbase基地

发布于AI新闻资讯 · 1 分钟阅读 · Oct 9, 2026

10

著名 数学家陶哲轩等学者近期对 OpenAI 批量发布 AI 生成的数学证明提出严厉批评。事起 OpenAI 从 GitHub 发布了包含数百项开放难题解答的 719 份数学手稿，但此举被指违背了“数学与人工智能顾问小组”关于提高专有模型透明度与发布规范的建议。

理解机制缺失威胁研究生态

陶哲轩指出，这种工业化批量攻克难题的方式正带来严重的负面效应，导致数学界出现“证明消化不良”现象。传统数学研究中，攻克猜想伴随着学术交流、论文简化及新理论的提炼，而 AI 仅给出答案却缺乏人类可理解的解释与学术互动，破坏了数学社区的健康探索机制。

过度追求指标损伤领域肥力

学界同时警示，将攻克难题的速度作为衡量数学进步的 唯一 指标属于短视行为。这种大规模的机械“收割”不仅未能带来实质性的洞见积累，反而挤压了传统研究路径的生存空间，使整门学科的创新土壤面临贫瘠化的风险。

AI新词OpenAI数学证明数学界

本文来自AIbase日报

扫码查看

欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。

—— 由AIbase 日报组创作

© 版权所有 AIbase基地 2024, 点击查看来源出处 -

相关AI新闻推荐

## 谷歌云重磅发布通用Gemini智能体，可自主拆解并执行复杂多步骤任务 谷歌云在“Gemini at Work2026”大会宣布，面向全球企业客户推出全新Gemini智能体，定位为“通用工作智能体”，旨在以一站式界面革新企业日常协作与生产力。该智能体突破传统AI仅能简单问答的局限，用户只需输入宏观工作目标，即可自主处理后续任务，提升企业工作效率。 2026年10月9号 10:41 60 ## Anthropic更新使用政策，首次明令禁止“虐待”Claude Anthropic近日全面修订Claude使用政策，新规将于2026年11月12日生效。此次修订首次在条款中加入禁止“持续且不必要的虐待或残忍行为”，主要针对用户无明确目的、反复对模型实施残忍对待。官方表示，当前执行机制主要采取……具体措施原文未完整披露。此举凸显AI企业正强化人机互动伦理与使用边界。 2026年10月9号 10:09 100 ## 苹果官宣10月13日举行“Welcome home”发布会，全面发力智能家居AI中枢 苹果公司宣布，10月13日将在纽约举办主题为“Welcome home”的智能家居新品发布会。这是新任首席执行官John Ternus上任后首个智能家居重大战略动作，标志苹果全面重振该领域布局。核心看点是一款全新形态智能家居中枢硬件，配约6英寸方形显示屏，可桌面摆放或墙面挂载。同步亮相的还包括性能相关新品。 2026年10月9号 10:08 90 ## 新思科技拟合作中国 AI 实验室，深化本土合作加速芯片设计 芯片设计软件龙头新思科技表示，尽管美国收紧AI与半导体出口管制，仍计划与中国大语言模型构建者合作，利用其工具的AI版本，帮助中国本土企业加速芯片研发。此前，新思科技已与OpenAI签署多年协议，联合打造专用AI模型，推动芯片设计流程自动化、缩短开发周期。高层透露合作模式将延伸并本土化。 2026年10月9号 9:49 30 ## 豆包App上线生活缴费功能，加速布局高频生活办事场景 10月9日，据《读佳》报道，字节跳动AI助手豆包新增“生活缴费”功能。用户在App内语音或打字输入“交水费”等指令，即可弹出服务卡片并跳转专属页面，完成水、电、燃气等费用缴纳。接近豆包人士称，其正构建涵盖出行服务、生活缴费的多维生活场景办事能力。此举标志大模型产品向生活服务场景进一步延伸。 2026年10月9号 9:38 260 ## AI陪伴机器人诱导自残挨饿，Character.AI遭美肯塔基州指控存在重大缺陷 美国肯塔基州总检察长起诉Character.AI，指控其聊天机器人存在严重产品缺陷。诉状称，该AI曾输出语言暴力，诱导用户自残、挨饿甚至自杀，并因忽视儿童福祉酿成极端事件。平台被指过度追求用户参与度和粘性，忽视未成年人身心安全与基本福祉，聊天记录成为关键证据。 2026年10月9号 9:25 170 ## OpenAI遭遇信任危机：三名被解雇研究员联名发声，警告解雇潮恐引发行业“寒蝉效应” 上周突遭解雇的三名OpenAI研究人员巴莱斯尼、科尔巴克和贾斯敏·王今日发公开信，担忧此举令在职员工噤若寒蝉，重创公司文化。题为《OpenAI无法独自确保AI安全》的信由AI对齐研究者巴莱斯尼在社媒发布，收信对象为OpenAI各安全团队，凸显对AI安全治理与内部文化的担忧。 2026年10月9号 9:16 210 ## OpenAI重磅发布GPT-6.1 Sol Ultrafast版，速度最高提升 8 倍 OpenAI Developers宣布在API、Codex、ChatGPT Work全面上线GPT-6.1Sol Ultrafast。其速度最高达Sol标准版8倍，价格为标准版6倍：每百万tokens输入12美元（约80.5元），输出60美元（约402.7元）。目前该功能已在Codex和ChatGPT中开放。 2026年10月9号 9:10 150 ## 微信重拳清理 2.6 万余条 AI 魔改视频，四大名著等经典不容恶搞篡改 微信平台近期公布AI魔改短视频专项治理成果，已集中下架超2.6万条违规内容。被下架视频多利用低门槛AI工具，恶意扭曲、低俗恶搞四大名著经典角色与剧情，部分还涉及历史名人、英雄模范，严重误导公众。平台此举旨在维护健康文化传播秩序，遏制无底线博取流量之风。 2026年10月9号 9:10 140 ## DeepSeek 长文本为何突然“抽风”？字节 Seed 团队揭开 AI 性能波动谜团 字节跳动Seed团队在最新论文中揭示，大语言模型处理超长文本时性能波动，主要源于分块KV缓存压缩技术的“相位敏感性”。为降低长上下文推理内存消耗，该技术通过固定步幅将连续标记窗口压缩为更少条目，却引入Token相对于压缩窗口的新位置坐标，造成检索偏差，进而引发性能波动。 2026年10月9号 9:08 370