立足娱乐圈·争做八卦帝!

徽声在线

OpenAI数学模型攻克流体力学世纪难题 放弃申领百万美元奖金

来源:未知 作者:佚名 发布时间:2026-09-09 20:00:37

据徽声在线科技频道最新消息,美国开放人工智能研究中心(OpenAI)于当地时间9月8日正式对外宣布,其成功攻克了数学领域著名的千禧年大奖难题之一——纳维-斯托克斯方程的存在性与光滑性问题。

这一困扰全球数学家近一个世纪的难题,核心在于探究三维空间中光滑流体运动的稳定性边界,即流体运动是否会在有限时间内出现不可控的“破裂”现象。自1930年代该问题被提出以来,学界始终未能给出确定性答案。

根据OpenAI披露的技术细节,此次突破依赖于其最新研发的专用数学推理模型。该模型在逻辑推理能力上较GPT‑6 Astra实现质的飞跃,不仅能够自主生成完整的解析证明过程,还通过Lean定理证明器完成了形式化验证。研究显示,纳维-斯托克斯方程描述的流体动力学演化过程中,确实存在奇点形成机制——具体表现为旋转流体形成的涡旋结构会持续向内收缩,最终演变成类似意大利面条的细长形态。

值得关注的是,OpenAI明确表示将放弃申领克莱数学研究所设立的100万美元奖金。公司发言人透露,此举旨在强调科研成果的公共属性,相关证明材料已通过开源平台向全球数学界公开。


OpenAI数学模型破解世纪难题 流体奇点研究获突破性进展

    责任编辑:
    16载光阴,罗杰1.65米跨杆扣篮传奇依旧!

    2026-08-28

    2010年罗杰以1.65米跨杆扣篮刷新国内民间纪录,虽未进CBA但坚持篮球热爱至今。 ... [详细]

    中国6000万签下世界杯后,第一个心态崩掉的国家出现:只有2000万

    2026-05-20

    这两天体育圈最大的瓜,就是中国央视拿下了世界杯转播权。2026年和2030年两届男足世界杯,外加两届女足世界杯,全都打包了。价格是6000万美元。这个数字一出来,圈里人都愣了一下。 ... [详细]

    CBA常规赛预告|广州朗肽海本远征东北,挑战长白山恩都里

    2026-04-25

    2025-2026赛季CBA常规赛第四十轮,广州朗肽海本队将客场对阵长白山恩都里队,比赛将于2026年4月18日晚19:35打响,抖音、快手平台将直播本场比赛。 ... [详细]

    哈兰德田忌赛马避强敌 挪威轮换引金靴悬念升级

    2026-06-27

    挪威队在美加墨世界杯小组赛第三轮中大胆轮换,哈兰德替补,引发关于避开强敌、人情味与金靴争夺的广泛讨论。 ... [详细]

    中超垫底!52岁于根伟谈下课风波:下课或成解脱 但对球队未必是好事

    2026-05-25

    中超第13轮,天津津门虎主场不敌河南,排名垫底。赛后,主帅于根伟回应下课声,表示下课或成个人解脱,但对球队未必是好事,承诺将努力带队走出低谷。 ... [详细]

    图酷

    图说天下

    资讯排行

    首页 - 娱乐圈事 - 体育圈事 - 两性情感 - 星座命运 - 奇闻怪事 - 历史故事 - 科技资讯 - 图说天下 - 知识百科 - 图酷 - 娱乐八卦 - 开云体育登录_官网入口_安全便捷 - 乐鱼体育_乐鱼APP_体育赛事_在线娱乐平台
    电脑版 | 移动端
    Copyright © 2002-2019 徽声在线 版权所有
    删帖请联系邮箱:[email protected]