尧图网络 高端网站定制 · 原创设计
免费咨询热线
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/10/5 19:36:37
基于Python和OpenCV的智能停车场车牌识别计费系统

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

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

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

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

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

📅 2026/10/5 12:47:47
MORE NEWS

更多资讯

📰

impeccable:CLI+浏览器扩展+PRODUCT.md三位一体的质量交付工作流

1. 项目概述:这不是一个工具,而是一套开发者的“交付洁癖”工作流你有没有遇到过这样的场景:代码写完了,测试跑通了,CI也绿了,但一打开生产环境的页面,字体渲染毛边、按钮点击延迟半秒、控制台飘…

📰

兼容性感知生成:多物理场耦合的超材料逆向设计新范式

1. 这不是又一个“AI材料”的空泛概念,而是把力学和声学约束真正焊死在生成流程里的硬核方法你有没有遇到过这样的情况:用GAN或Diffusion生成一堆看起来很酷的超材料微结构,一做仿真就崩——应力集中超标、带隙位置漂移、透射系数完全对不上目…

📰

零基础入门大模型:Transformer、DeepSeek与Dify实战指南

1. 大模型入门到底在学什么:从零基础到能上手的关键路径很多人第一次接触“大模型技术与应用”这个概念时,脑子里冒出来的第一个问题往往是:我到底该从哪里开始?是不是得先把线性代数、概率论、微积分全部重新学一遍?是…

📰

Hermes Agent Loop执行流程深拆:从安装部署到闭环收敛

做 AIAgent 开发的人,十个里有九个会告诉你:真正难的不是让模型"开口说话",而是让它"闭环干活"。项目标题里这组关键词——Hermes、Agent Loop、AIAgent、执行流程——放在一起,指向的其实是一个非常具体的问…

📰

AI项目事故复盘:四层价值挖掘与实践指南

1. 为什么AI项目的事故复盘如此重要上周团队里刚发生一起典型的AI服务故障:凌晨3点线上推理服务突然崩溃,导致客户端的智能客服功能全线瘫痪。当我们手忙脚乱地恢复服务后,项目经理在群里发了份复盘文档,通篇都是"加强监控&q…

📰

企业级AI Agent平台三层架构:协议层、编排层与工具层深度解析

1. 这不是选“软件”,是在选企业AI Agent的神经中枢系统最近三个月,我帮六家不同行业的客户做过AI Agent平台的技术评估——从制造业的设备故障推理助手,到金融公司的合规文档自动核查Agent,再到零售企业的多渠道客服协同调度系统…

TODAY

今日更新

THIS WEEK

本周精选

THIS MONTH

本月热门

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

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

📞 💬