Terence Tao warns OpenAI's bulk AI math proofs cause 'proof indigestion'
Mathematician Terence Tao and other scholars have criticized OpenAI for publishing 719 mathematics manuscripts on GitHub, said to contain solutions to hundreds of open problems. They argue the move conflicts with recommendations from a mathematics-and-AI advisory group on transparency and release norms for proprietary models, and has produced a kind of "proof indigestion": the AI delivers answers without human-readable explanations or scholarly exchange. The scholars also warn that treating problem-solving speed as the sole measure of mathematical progress is short-sighted and could crowd out traditional research paths and impoverish the field's creative soil.
Why it matters: The dispute puts the tension between AI's bulk output of mathematical results and the health of the research ecosystem on the table, potentially shaping norms for model releases and credit for results.
陶哲轩警示 OpenAI 批量生成证明，数学界面临“证明消化不良”
AIbase基地
发布于AI新闻资讯 · 1 分钟阅读 · Oct 9, 2026
10
著名 数学家陶哲轩等学者近期对 OpenAI 批量发布 AI 生成的数学证明提出严厉批评。事起 OpenAI 从 GitHub 发布了包含数百项开放难题解答的 719 份数学手稿，但此举被指违背了“数学与人工智能顾问小组”关于提高专有模型透明度与发布规范的建议。
理解机制缺失威胁研究生态
陶哲轩指出，这种工业化批量攻克难题的方式正带来严重的负面效应，导致数学界出现“证明消化不良”现象。传统数学研究中，攻克猜想伴随着学术交流、论文简化及新理论的提炼，而 AI 仅给出答案却缺乏人类可理解的解释与学术互动，破坏了数学社区的健康探索机制。
过度追求指标损伤领域肥力
学界同时警示，将攻克难题的速度作为衡量数学进步的 唯一 指标属于短视行为。这种大规模的机械“收割”不仅未能带来实质性的洞见积累，反而挤压了传统研究路径的生存空间，使整门学科的创新土壤面临贫瘠化的风险。
本文来自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
How we got here
- OpenAI APAC public policy lead said to depart after six months36氪快讯 · OpenAI
- Hands-on with GPT-6's Intelligent UI: interactive cards, mini-games, mixed results36氪 人工智能 · OpenAI
- OpenAI Asia-Pacific policy head to leave after six monthsBloomberg Technology · OpenAI
- Four frontier models each got $100 to build a PDF editor — nearly all shipped bugs开源中国 · OpenAI
- NYT v. OpenAI docs renew debate on paying for AI's news use科技新报 · OpenAI
- OpenAI expects annualized revenue to reach $70B by end of 202636氪快讯 · OpenAI