尧图网络 高端网站定制 · 原创设计
免费咨询热线
400-888-6620
免费获取方案
OpenAI内部AI系统解答纳维尔斯托克斯难题,学术争议引发传统学术体系规则审视
AI进入数学深水区挑战百年难题AI正在进入数学世界的深水区。OpenAI宣布其内部AI系统完成了对纳维尔斯托克斯Navier-Stokes equations存在性与光滑性问题的解答并公开了相关论文及Lean形式化证明。纳维尔斯托克斯方程是千禧年大奖难题之一也是现代流体力学核心理论基础据传是中国数学家韦东奕长期研究的方向。OpenAI称证明由内部多智能体系统完成模型能力超GPT - 6 Astra。若成果获数学界认可意味着AI开始参与解决顶尖数学家长期研究的问题。1万个AI Agent挑战难题过程纳维尔斯托克斯方程是描述流体运动的核心数学模型飞机设计、天气预测、血液流动研究等都依赖它。但三维不可压缩流体在初始状态光滑时是否会在有限时间内产生奇点这一问题长期未决。奇点指流体速度在有限时间内无限增长若发生则现有连续介质模型失效需追踪单个粒子运动规律。19世纪纳维和斯托克斯提出方程后该问题困扰数学界1934年数学家Jean Leray证明广义解存在光滑解是否永远存在仍无答案。2000年克雷数学研究所将其列入七个千禧年大奖难题并提供100万美元奖金。OpenAI系统证明初始光滑且静止的流体受光滑外力作用后可在有限时间内形成奇点。研究团队构造特殊涡旋结构流体旋转、收缩并轴向拉伸空间尺度缩小使流体速度提升但能量有限。证明关键在于让描述流体运动的多个数学项同时增长并保持平衡实现无需无限外力介入的奇点形成。为完成任务OpenAI部署多Agent协作系统。9月1日起不同Agent小组探索未解决的千禧年大奖问题分别尝试证明存在和不存在奇点两种方向。在纳维尔斯托克斯问题中约1万个Agent参与工作。此前系统还解决了相关的欧拉方程正则性问题约100个Agent工作50小时完成反例证明为研究纳维尔斯托克斯问题提供线索。最终AI Agent在9月5日得到解答从启动任务到获结果约耗时88小时又花17小时完成Lean形式化验证。整个过程中Agent共发送约490万条消息消耗约3000亿输出Token其中纳维尔斯托克斯问题相关任务产生约270万条消息消耗约1300亿输出Token。OpenAI研究员陈立杰回应他曾预测AI可能在2027年发表数学顶级论文、2028年前后解决千禧年大奖问题现实发展超预期他称这是“非常不可思议的时代”。成果公布引发学术争议OpenAI公布成果后围绕研究优先权和过程透明度的争议出现。争议源于纽约大学柯朗研究所流体力学专家Tristan Buckmaster的声明。在OpenAI发布成果前Buckmaster正与Anthropic研究员Levent Alpöge合作用大模型研究流体力学开放问题此前已完成多个相关突破包括带光滑外力条件下的不可压缩多孔介质方程、Boussinesq方程以及三维不可压缩Euler方程的有限时间爆破解答。这些工作基于数学家Diego Córdoba和Luis Martínez - Zoroa的研究方向大语言模型推进了证明。Buckmaster称使用过多个模型Astra主要用于论文整理和证明审查。团队8月15日取得突破获Boussinesq和Euler方程相关结果并完成Lean验证。9月初Buckmaster得知消息后致信OpenAI数学研究人员说明情况OpenAI人员希望了解细节避免重复竞争。Buckmaster称自己与Levent的合作是个人研究已准备发布论文和证明。OpenAI人员告知内部模型已生成带外力纳维尔斯托克斯问题的证明论文约100页。但Buckmaster认为OpenAI最初对研究过程描述不完整最初被告知工作主要由模型完成且只输入问题本身后续了解到组织了完整团队先解决简单问题再推进到纳维尔斯托克斯问题还使用大量计算资源。他还质疑OpenAI是否接触到他们在Codex中的研究资料但强调未看到证明也未直接指控使用用户数据只是公开事件经过避免误解。OpenAI否认使用用户数据解决问题研究员Noam Brown回应称对抄袭指控感到遗憾认为事实清楚。Anthropic员工Sholto Douglas表示OpenAI获取并利用用户研究数据影响结果的可能性低。AI参与基础科研引发规则审视伴随着AI参与基础科学研究传统学术体系的很多规则面临重新审视如论文署名、研究贡献计算、AI生成的证明是否算真正发现等问题都无现成答案。过去工具放大人的能力如今工具开始提出假设、寻找路径并完成证明人类面对新的科研协作者数学界正经历类似计算机进入科学研究时的转折。
RELATED

相关推荐

Python+OpenCV手势识别实战:肤色检测与凸缺陷实现指尖计数

Python+OpenCV手势识别实战:肤色检测与凸缺陷实现指尖计数

简介:基于Python与OpenCV的手势识别算法设计源代码材料,面向计算机视觉课程设计、毕业设计以及手势交互入门开发者。项目依托PyCharm集成开发环境,完整实现从摄像头实时采集、镜像翻转、形态学处理,到HSV肤色检测、高斯滤波、轮廓…

📅 2026/9/9 17:27:39
基于Python和OpenCV的智能停车场车牌识别计费系统

基于Python和OpenCV的智能停车场车牌识别计费系统

简介:面向Python学习者与高校学生的智能停车场车牌识别计费系统源码包,适合课程设计、毕业设计以及想实践百度AI开放平台图像识别接口的开发者。程序基于PyCharm运行,需联网并在百度AI平台申请图片识别Key,替换到项目根目录file/k…

📅 2026/9/9 17:27:39
WeChatMsg 微信聊天记录导出完整指南:4 步生成 3 种格式,永久存进自己电脑

WeChatMsg 微信聊天记录导出完整指南:4 步生成 3 种格式,永久存进自己电脑

WeChatMsg 微信聊天记录导出完整指南:4 步生成 3 种格式,永久存进自己电脑 【免费下载链接】WeChatMsg 提取微信聊天记录,将其导出成HTML、Word、CSV文档永久保存,对聊天记录进行分析生成年度聊天报告 项目地址: https://gitcod…

📅 2026/9/9 17:27:39
MORE NEWS

更多资讯

📰

10分钟上手DeepEval:给LLM应用装上一套自动化质量评估流水线

10分钟上手DeepEval:给LLM应用装上一套自动化质量评估流水线 【免费下载链接】deepeval The LLM Evaluation Framework 项目地址: https://gitcode.com/GitHub_Trending/de/deepeval 你刚上线了一个RAG问答系统,老板问了一句:"怎…

📰

2007-2017 老款 Mac 也能装 macOS Sequoia:OpenCore Legacy Patcher 完整指南

2007-2017 老款 Mac 也能装 macOS Sequoia:OpenCore Legacy Patcher 完整指南 【免费下载链接】OpenCore-Legacy-Patcher Experience macOS just like before 项目地址: https://gitcode.com/GitHub_Trending/op/OpenCore-Legacy-Patcher OpenCore Legacy Pa…

📰

数据驱动分布鲁棒优化在电热综合能源系统调度中的应用

1. 先把名头拆开看:高热点算法背后的三个关键词“高热点算法”这个说法第一次出现的时候,我以为是某个公众号的营销标题,但仔细想想,这个课题方向确实把近五年能源系统优化里最“卷”的三个关键词全凑齐了——数据驱动、分布鲁棒、…

📰

降AI率全攻略:从检测原理到9大工具搭配与实操流程

1. 为什么“降AI率”成了继续教育学生的刚需 这几年AI写作工具确实太普及了,论文初稿、课程报告、读书笔记,很多人都是先让大模型列个框架、写个底稿,然后再慢慢改。这个流程本身没问题,效率确实高,但问题出在查重和AI…

📰

内容测试文章验收指南:从占位符到放心发布的完整流程

我很少给纯测试性质的任务写复盘,但“测试文章标题01”这个案例确实让我想起不少内容团队都会踩的坑:标题占位、内容待补、流程待验证,结果一不留神就把半成品发上线了。这篇文章不讨论怎么“假装写完”,而是聊聊我自己在内容生产…

📰

AI室内设计网站出的图能直接给施工队吗?6款工具落地能力全拆解

AI室内设计网站出的图大部分不能直接交给施工队,少数支持图转CAD的工具能生成线稿文件,但生成后仍需人工标注尺寸和材料。这个赛道里创作者实际踩的坑集中在三处:效果图和施工图之间断层、甲方改1版就要整张重做、工具零散导致工作流来回切换…

TODAY

今日更新

THIS WEEK

本周精选

THIS MONTH

本月热门

读完文章,想聊聊您的网站?

告诉我们您的行业与需求,资深顾问一对一梳理方案与报价,全程免费。

📞 💬