OpenAI未公开大模型出手,仅用88小时攻克人类90年无解难题

云敏吖_7365

云敏吖_7365

2026-09-10

972人浏览

原创

【php中文网快讯】据快科技消息,当地时间9月8日,openai对外披露了一项突破性进展:其内部研发的一款尚未公开发布的大型语言模型,在数学能力上已超越传闻中的gpt-6 astra。该模型通过调用约1万个ai智能体协同运算,仅用88小时便成功攻克七大千禧年难题之一——纳维-斯托克斯方程(n-s方程)的存在性与光滑性问题。

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜

OpenAI未公开大模型出手,仅用88小时攻克人类90年无解难题
纳维-斯托克斯问题由克雷数学研究所(Clay Mathematics Institute)于2000年遴选为“七大千禧年大奖难题”之一,每项难题悬赏奖金高达100万美元。该问题自提出以来已持续挑战全球数学界近90年。

作为描述流体运动最基础且核心的偏微分方程组,纳维-斯托克斯方程在天气预报、航空航天器设计、工业流体仿真等关键领域具有不可替代的应用价值。其核心难点在于:当流体初始速度场足够光滑、且总动能有限时,其解是否会在有限时间内失去光滑性,即发生“爆破奇点”(blow-up singularity)。OpenAI此次给出的结论是:此类奇点确实可能存在。

整个研究过程分为两个关键阶段:第一阶段,由1万个AI智能体并行展开大规模探索,历时88小时提炼出主干证明路径;第二阶段,研究人员借助Lean形式化验证系统对全部推导进行严格校验,耗时17小时完成最终确认,并同步发布一份长达165页的研究论文及配套开源形式化代码。

Save upto 50% for model tokens: OpenAI GPT, Claude, Gemini, Qwen, Deepseek, Grok and more with one single key
Save upto 50% for model tokens: OpenAI GPT, Claude, Gemini, Qwen, Deepseek, Grok and more with one single key

统一LLM网关 - 一个API对接70+AI模型,使用单一API密钥即可调用GPT、Claude、Gemini、Qwen、Deepseek、Grok等主流模型。

下载

本次项目算力消耗极为惊人,单就核心问题求解即处理约1300亿token,整项工作累计token使用量逼近3000亿,总投入成本达数百万美元级别。

然而,该成果目前仍面临多方审慎审视。多位国际顶尖数学家对该证明的逻辑严密性、技术路径合理性以及成果归属权提出了不同意见;同时,部分学者指出相关前期工作可能存在知识产权归属争议;截至目前,克雷数学研究所亦未对该结果作出任何官方表态或认证。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

openai 大模型

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
AI视频生成软件推荐
AI视频生成软件推荐

本专题汇总了当前主流的AI视频生成软件推荐与排行榜单,涵盖seko、AniShort、剧云、Lovart、LiblibAI及立刻mv等热门工具。同时整理了各软件在文生视频、图生视频、时长限制、画质表现及免费额度等方面的差异对比,助您快速选对适合创作需求的AI视频生成工具。

2026.09.16

140

9

ai生成视频的工具免费版合集
ai生成视频的工具免费版合集

本专题汇总了当前免费AI生成视频工具的排行榜与推荐清单,涵盖seko、讯飞智作、AniShort及剧云、Lovart等多模型集成平台。同时整理了各工具的免费额度、输出时长、水印政策及适用场景差异,助您快速选择合适工具开启AI视频创作。

2026.09.16

60

10

Pandas时间序列分析与可视化报表
Pandas时间序列分析与可视化报表

本专题整理Pandas日期转换、时间索引、重采样、滚动窗口、时区处理、plot绘图、Styler表格样式和报表输出方法。

2026.09.16

60

23

Pandas数据筛选索引与清洗处理
Pandas数据筛选索引与清洗处理

本专题整理Pandas中的loc、iloc、条件筛选、query查询、缺失值处理、重复值删除、类型转换和字符串列清洗方法。

2026.09.16

40

25

Pandas数据读取导入与文件导出处理
Pandas数据读取导入与文件导出处理

本专题整理Pandas读取CSV、Excel、JSON、SQL、Parquet等文件的方法,以及to_csv、to_excel、to_sql和to_parquet等常用数据导出流程。

2026.09.16

40

27

GDB怎么设置断点
GDB怎么设置断点

本专题介绍GDB按照函数名、源代码行号和文件位置设置断点的方法,详细说明run、continue、next、step等命令的配合使用,帮助定位程序崩溃、逻辑异常及代码未按预期执行的问题。

2026.09.11

360

28

GDB怎么查看变量值
GDB怎么查看变量值

本专题介绍GDB调试过程中查看变量值的具体方法,涵盖局部变量、函数参数、数组、结构体和指针内容查询,同时整理变量持续显示、格式化输出及无法读取变量时的排查思路。

2026.09.11

120

22

GDB C++程序怎么调试
GDB C++程序怎么调试

本专题围绕GDB调试C++程序的实际过程,详细说明程序编译、调试器启动、命令行参数传入、断点命中和程序继续运行等步骤,并介绍条件断点、临时断点和观察点的设置方法,方便开发者跟踪复杂代码的执行状态。

2026.09.11

120

20

Iris框架MVC架构与依赖注入合集
Iris框架MVC架构与依赖注入合集

本专题讲解Iris框架MVC开发模式,包含控制器注册、方法命名与路径映射、By参数绑定、BeforeActivation自定义路由,以及依赖注入容器注册、数据库依赖注入、返回值序列化及MVC下WebSocket与gRPC整合实践。

2026.09.11

80

15

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
ChatGPT入门手册
ChatGPT入门手册

共0课时 | 0人学习

Codex官方文档
Codex官方文档

共0课时 | 0人学习