当前位置: 首页
科技数码
GPT-5数学能力再突破:AI证明速度媲美博士生引热议

GPT-5数学能力再突破:AI证明速度媲美博士生引热议

热心网友 时间:2025-09-18
转载

9月初,一篇挂在arXiv的论文在学界扔下一颗炸弹——GPT-5被写进了数学研究成果里。 研究者在文中公开写道:GPT-5在他们的实验中完成了一项此前从未解决的数学工作,并将结果直接纳入正式稿件。

今年9月初,arxiv预印本平台上一篇论文在学术界引起轩然大波——GPT-5的名字赫然出现在数学研究成果的作者行列。

论文作者明确指出:在他们的研究过程中,GPT-5协助完成了一个悬而未决的数学问题证明,其推导结果被直接纳入正式论文内容。

\

这是大型语言模型首次以"定理联合发现者"的身份登堂入室,出现在严谨的数学研究论文中。

这项研究围绕Malliavin-Stein理论框架中的一个关键卡点展开。

GPT-5首次现身数学论文

在概率论研究中,"第四矩定理"一直是个基础却难啃的硬骨头。

该定理最初由Nualart和Peccati提出,用于判断特定随机变量是否收敛于正态分布。

但这个经典定理长期存在一大局限:

它只能判定"是否收敛",却无法量化"收敛速度"。

研究团队决定将这个问题抛给GPT-5。

他们提出的问题很明确:在Malliavin-Stein框架下,能否给出第四矩定理的收敛速率量化估计?

GPT-5的回馈相当惊人——它推导出一个全新的收敛速度界定公式:

\

这意味着:当第四矩逐渐逼近高斯分布的特征值时,其收敛过程的快慢首次有了精确的数学描述。

这项突破的价值不仅在于填补理论空白。

在实际应用中,从高维随机场模拟到金融极值分析,再到物理系统的随机过程研究,收敛速率的定量刻画是实现精准建模的关键前提。

尤为特殊的是,这项成果没有经过研究人员"二次加工",而是直接将AI的原始推导纳入了论文主体。

这是大型语言模型首次以"定理协作者"的身份,正式入驻数学研究文献。

合作而非取代:"导师+AI"的新范式

尽管GPT-5被写入论文的事实引人注目,但故事远没有"AI独立攻克数学难题"那么简单。

在初始阶段,GPT-5虽然给出了完整的定理陈述,却在关键步骤Cov(Y², Z²)的推导中使用了错误公式。

这个致命错误若非被人类研究者及时发现,足以颠覆整个证明。

\

研究者随后发出质询:

GPT-5在复验过程中仍然坚持错误观点。

\

直到研究者明确指出具体错误点,AI才承认失误并重新调整证明思路。

\

在人类专家的持续引导下,GPT-5最终完成正确证明,并按要求将成果整理为规范的学术表达。

\

这种反复修正的过程让研究者感慨:与GPT-5合作,犹如指导一个天赋出众但粗心的科研助手。

学界内外迥异的反应

当GPT-5入主数学论文的消息传出,学术圈内外反应截然不同。

8月20日,微软研究员Sébastien Bubeck在社交平台分享:他使用GPT-5 Pro破解了凸优化领域的一个公开问题。AI在几分钟内将经典收敛界L^{-1}提升至1.5L^{-1}。

\

这个看似晦涩的数学结果引发热议——因为它意味着算法收敛速度的理论极限被突破。

但优化专家Ernest Ryu指出:GPT-5的证明本质上是对Nesterov定理的灵活运用,任何经验丰富的研究者都能在数小时内得出相似结论。

双刃剑:加速创新与学术泡沫

尽管GPT-5能助力科研,论文作者却在结语中表达了深切忧虑。

他们发现GPT-5最擅长的是知识重组而非原创突破。如果学界充斥这类"正确但平庸"的研究,真正革命性的工作可能被淹没。

更值得警惕的是学术训练危机。传统博士培养依赖试错积累研究直觉,如果青年学者过度依赖AI生成证明,可能错失关键的能力成长期。

\

从凸优化到随机分析,GPT-5已不止是辅助工具,而是实实在在的论文贡献者。它能完成证明推导,能在导师指导下完成研究闭环。

但随之而来的问题是:当"学术快餐"可以批量化生产,突破性研究如何突围?当试错过程被AI压缩,新一代学者将如何培养创新能力?

未来数年,AI在科研中的角色演变速度或将远超预期。核心问题已然浮现:当AI能撰写论文时,人类学者的独特价值何在?

来源:https://36kr.com/p/3471667858167175

游乐网为非赢利性网站,所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系youleyoucom@outlook.com。

同类文章
更多
地下室发现尘封12年AMD前CEO旧PC苏姿丰签名推土机硬件

地下室发现尘封12年AMD前CEO旧PC苏姿丰签名推土机硬件

一位技工在客户家地下室发现一台属于AMD前CEORoryRead的旧PC,机箱上留有苏姿丰等高管签名,配置为推土机时代硬件且从未开机。这台电脑封存了AMD从推土机失败到Zen架构崛起的关键转折历史。

时间:2026-07-10 10:06
Laravel 12生态成熟助力全栈开发效率提升

Laravel 12生态成熟助力全栈开发效率提升

Laravel12延续开发体验优势,在项目结构、查询构建、API开发、调试及性能上持续优化。其生态日趋成熟,形成Reverb、Pulse等完整工具链,覆盖API、SaaS、企业后台及AI应用开发。与Next js的组合逐渐流行,Laravel已演变为现代Web开发平台,保持社区活力。

时间:2026-07-10 10:06
Linux内核持续演进:Rust语言与零拷贝网络成新焦点

Linux内核持续演进:Rust语言与零拷贝网络成新焦点

LinuxKernel6 15重大更新:Rust驱动正式入主线,NOVADRM成为首个实践案例;io_uring新增零拷贝网络接收,降低CPU开销与延迟;Btrfs增强实时zstd压缩、DirectIO及稳定性。内核同步推进安全化与高性能网络化。

时间:2026-07-10 10:06
谷歌Gemini进入Agent时代 打造全天候AI助理

谷歌Gemini进入Agent时代 打造全天候AI助理

Google推出GeminiSpark、Omni等新功能。Spark可全天候在后台运行,主动处理邮件、日历等任务;Omni侧重视频理解与环境推理,布局世界模型。AI正从被动回答转向主动观察、规划与执行,标志着竞赛进入新阶段。

时间:2026-07-10 10:05
CPU-Z 2.20.2正式版发布 支持Intel三大平台及AMD锐龙AI Max

CPU-Z 2.20.2正式版发布 支持Intel三大平台及AMD锐龙AI Max

CPU-Z2 20 2正式版发布,新增支持IntelPantherLake、WildcatLake、BartlettLake三大架构及AMD锐龙AIMax、Pro系列,加入锐炫G3识别库,修复缓存错误和锐龙77700X3D检测问题,免费下载。

时间:2026-07-10 10:05
热门专题
更多
刀塔传奇破解版无限钻石下载大全 刀塔传奇破解版无限钻石下载大全
洛克王国正式正版手游下载安装大全 洛克王国正式正版手游下载安装大全
思美人手游下载专区 思美人手游下载专区
好玩的阿拉德之怒游戏下载合集 好玩的阿拉德之怒游戏下载合集
不思议迷宫手游下载合集 不思议迷宫手游下载合集
百宝袋汉化组游戏最新合集 百宝袋汉化组游戏最新合集
jsk游戏合集30款游戏大全 jsk游戏合集30款游戏大全
宾果消消消原版下载大全 宾果消消消原版下载大全
  • 热门数据榜