热门AI工具推荐

焚书AI多模型聚合平台
AI多模型聚合平台( Claude 系列、GPT 系列)支持聊天、搜索、图片、视频、音乐等多种功能;聚合了 Claude 系列(如 Sonnet 5、Opus 5 等)、Gemini 系列、GPT 系列、DeepSeek(搜索模式默认调用 DeepSeek V4 Pro)以及通义千问、Kimi 等数十款国内外主流模型。
AI编程订阅服务,支持多款国产主流编程模型自由切换。
Seedance 2.0AI视频生成
具备卓越的物理真实性和角色一致性,可生成电影级视频内容。
方舟 Agent PlanAI智能体订阅
火山引擎推出的全场景AI智能体订阅服务,通过一个订阅整合5大主流模型和10+AI工具
SpeedAIAI内容检测降重
AI内容检测与降重工具,能有效帮助用户通过论文AI率检测
秒哒AI工具
不懂代码也能开发应用?百度秒哒:无需编程,快速搭建小程序与网站
有戏AIAI漫剧生成工具
全流程AI短剧创作工具,实现从剧本到成片的自动化生产,让“一人即剧组”成为现实。
沁言学术智能科研平台
一站式文献管理与科研写作工具,支持边写作边搜索文献,高效阅读,文献管理,

陶哲轩称OpenAI测4000道题 91%没做出来

时间:2026年11月4日。澎湃新闻于当天13时19分报道,陶哲轩的这番表态出现在日前举行的2026科学与人工智能峰会(Science x AI Summit)上。 地点:2026科学与人工智能峰会会场。该系列峰会由SAIR基金会(科学与人工智能研究基金会)发起,2026年9月11日在加州理工学院开幕,由SAIR、加州理工学院与默金纯粹与应用数学中心联合举办,此后陆续在洛杉矶、旧金山等站点举行。 人物:陶哲轩(Terence Tao),菲尔兹奖得主、加州大学洛杉矶分校数学教授、SAIR基金会主席;OpenAI;新晋菲尔兹奖得主、芝加哥大学数学教授邓煜;理论计算机科学家达娜·莫什科维茨、斯科特·阿伦森;澎湃新闻记者胡逸璠。 事件详情:澎湃新闻报道,陶哲轩在峰会上警告,社交媒体上“AI轻松破解数学题”的印象,是选择偏差造成的错觉。在OpenAI的实际测试中,AI的解题成功率仅约9%,绝大多数失败案例从不会被传播,仅靠社交渠道获取信息会严重高估AI的数学能力。这个数字与OpenAI自己披露的数据能对上:该批成果中,内部模型此前尝试了约4000个研究问题,多数结果采用相同流程获得,平均每个结果耗费约3小时ChatGPT Pro计算量,最终对外公开的则是372个数学问题上的进展。约4000次尝试对372个结果,失败比例同样落在九成上下。换句话说,九成以上的尝试其实都失败了,只是失败没有社交传播的动能。 背景:这批成果的来龙去脉已不算新闻。2026年10月6日,OpenAI一次性公开722份由内部前沿模型生成的数学预印本,宣称在几何、计算机科学、代数等领域的372个数学问题上取得进展,包含准黎曼猜想、四维挂谷问题等长期悬而未决的难题。这些手稿没有走同行评审期刊,也没有走arXiv,而是直接上传到OpenAI自己的GitHub仓库;次日OpenAI因符号错误撤回3篇,第三天更新日志又修订14篇、更新13篇引用,公开目录从722份降到719份,其中只有10份披露了思维链,约42%的证明未经形式化处理,也没有提供自然语言证明与形式化产物关联的机器可读元数据。陶哲轩也并不是最近才开火:6月有16位知名数学家联合发布《人工智能与数学莱顿宣言》;9月8日OpenAI宣布用约一万个AI智能体、88小时生成纳维-斯托克斯方程的证明手稿;9月11日,他与邓煜等25位菲尔兹奖得主发表联名信《人工智能在数学中的严重错位》,并在当天的Science x AI峰会开幕主题演讲中提出“证明消化不良”,即AI在生成解答和Lean形式化验证两步上狂飙,后面的阐释、同行评审、写入教科书三步几乎为零。 影响:数学界与AI实验室的紧张关系进一步公开化。据量子位报道,菲尔兹奖得主Cédric Villani在看到OpenAI拿下千禧难题后形容“简直跟世界末日一样”;达娜·莫什科维茨称相关论文充斥着难以理解的构造和语焉不详的推理步骤;斯科特·阿伦森则把OpenAI发布那天称为“数学末日”。OpenAI已宣布成立由普林斯顿高等研究院牵头、9名数学研究人员参与的“数学与人工智能顾问小组”,该小组曾建议前沿AI实验室停止在专有模型上测试高难度数学问题,并要求披露模型名称、提示词、推理链、耗时及计算成本,同时声明其咨询角色不构成对OpenAI获取或发布这些结果的认可。对模型厂商而言,陶哲轩这次给出的失败率,把一个此前几乎没人愿意摆到台面上的指标公开了出来——如果对外宣传继续只展示成功案例,那么以“解题数量”衡量模型能力的做法,可比性和可信度都会继续下降;对读者而言,判断一条“AI攻克数学难题”的消息时多问一句“试了多少次才成”,比直接看战报更靠谱。 总结:陶哲轩这次给出的9%,是对AI数学能力叙事的一次定量校准。OpenAI那722份预印本、372个结果常被简写成“AI攻克数百道数学难题”,但对应的尝试规模是约4000道题,失败的九成从未进入公众视野。他要提醒的不只是数学界的处境,也是评测方法本身:当成功被放大、失败被隐藏,任何以“解题数量”为卖点的横向比较都会失真。这场争议最终取决于实验室是否愿意公开失败率与算力成本。 常见问题: 问:9%的解题成功率指什么? 答:OpenAI模型尝试解决约4000道数学问题,最终整理出372组成果,约九成没成功。 问:“选择偏差”在这里指什么? 答:失败的尝试不会像成功案例那样被传播,读者只看解出的部分,因而高估AI能力。 问:OpenAI如何回应质疑? 答:成立普林斯顿高等研究院牵头的数学与人工智能顾问小组,但声明不负责数学内部进展。 参考来源: 澎湃新闻:陶哲轩称AI数学热是“选择偏差” https://www.thepaper.cn/newsDetail_forward_34402848 爱集微:看不到AI思维链太荒唐,陶哲轩、邓煜对谈AI与数学 https://www.laoyaoba.com/html/share/news/1124417 量子位:不er,咋陶哲轩也成AI减速派了 https://www.qbitai.com/2026/10/501736.html 界面新闻:邓煜、陶哲轩对谈“AI与数学” https://m.jiemian.com/article/15231618.html 快科技:数学家仍对AI不服气!菲尔兹奖得主陶哲轩带头向OpenAI宣战 https://m.mydrivers.com/newsview/1156241.html 中国经济网(红网):一口气发布722篇数学研究手稿,陶哲轩为何点名OpenAI http://views.ce.cn/view/ent/202610/t20261010_3252643.shtml Atlasnote:陶哲轩:SAIR开放数学模型与证明消化不良 https://atlasnote.ai/zh-CN/articles/terence-tao-sair-open-math-model

OpenAI · 更多动态

进入专题

同日其他快讯

11月4日 汇总