真解还是取巧:OpenAI解的是正确的方程吗?

两周前,OpenAI 宣称解决了数学中最大的悬而未决问题之一——纳维-斯托克斯问题。这项成就对应克雷数学研究所提供的100万美元悬赏。该证明随即引发轩然大波,争议焦点在于人工智能公司正在争相颠覆这个学科。但尘埃远未落定之际,另一个争议浮出水面:OpenAI 解的到底是不是「对」的那个纳维-斯托克斯问题?该证明由一个内部大语言模型生成,其依赖的思路被许多专家认为并不自然。它求解的是这个问题的一个变体,而数学家认为这个变体与现实脱节,因此也没那么有意思。从某种意义上说,这个模型找到并利用了问题表述中存在的一个漏洞。芝加哥大学数学家 Luis Silvestre 直言:最重要的问题仍然没有被解决。克雷问题是了结了,但纳维-斯托克斯方程的主要问题并没有。更进一步的是,上周四三位数学家发表了他们自己的证明,表明 OpenAI 的方法永远无法被扩展去解决完整的问题。换句话说,除非出现某种全新的思路,这个漏洞永远不会被补上。理解争议需要先理解......阅读全文

为何OpenAI的AI“证明”纳维斯托克斯难题,数学家却看不懂?

本月初,OpenAI宣布它找到了数学界最棘手的未解难题之一——纳维-斯托克斯方程的解法,引发巨大轰动。该公司调动一万个强大的AI代理,连续八十八小时不间断地攻坚这个困扰学界已久的谜题,声势颇为浩大。然而这次宣布从一开始就充满争议,因为不少数学家指责这家公司实质上窃取了他们多年积累的原创研究成果。争议

OpenAI宣布攻克千禧年难题:AI证明纳维斯托克斯方程存缺陷

OpenAI宣称在数学领域取得一项“重磅突破”:其自研内部模型证明了用于描述流体运动的纳维-斯托克斯方程(Navier-Stokes)存在“致命缺陷”。若属实,这将是人类历史上第二次有人攻克七大“千禧年大奖难题”之一——而首次的解决者是人,这一次却是一家AI公司。“千禧年大奖难题”由克莱数学研究所于

AI破解数学难题正成为新风口

人工智能或许刚刚改写了数学史。据多家报道,AI 已攻克数学界六大"百万美元"公开难题之一,证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实,这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研

真解还是取巧:OpenAI-解的是正确的方程吗?

两周前,OpenAI 宣称解决了数学中最大的悬而未决问题之一——纳维-斯托克斯问题。这项成就对应克雷数学研究所提供的100万美元悬赏。该证明随即引发轩然大波,争议焦点在于人工智能公司正在争相颠覆这个学科。但尘埃远未落定之际,另一个争议浮出水面:OpenAI 解的到底是不是「对」的那个纳维-斯托克斯问

OpenAI称破解数学“千禧年难题”

开放人工智能研究中心(OpenAI)宣称,一个真正重量级的数学公开难题首次由计算机攻克。该机构公布了“千禧年难题”中与流体运动相关问题的解答方案。据《自然》报道,这家坐落于美国旧金山的人工智能(AI)公司于9月8日对外宣布,研究人员得出了流体最常用模型——纳维-斯托克斯方程的求解结果,证明该方程会出

人工智能是否真的破解了千禧年数学难题

流体运动看似简单,背后的方程却是数学界最著名的悬案之一。这道谜题如今似乎被人工智能解开,尽管这一成果本身也引发了激烈争议。九月八日,OpenAI 宣布在纳维-斯托克斯存在性与光滑性问题上取得突破——该问题分量极重,以至于有人为它的解答悬赏一百万美元,被视作指引整个流体力学方向的指南针之一。就在前一天

为何纳维斯托克斯方程的非物理解引发关注?

近两个世纪,研究流体运动的研究者都依赖纳维-斯托克斯方程(Navier-Stokes equations),但数学家仍对其是否贴合现实存疑。一篇将发表于《数学年刊》(Annals of Mathematics)的论文取得新突破:由普林斯顿高等研究院的达拉斯·阿尔布里顿(Dallas Albritt

AI-疑似破解千禧年难题纳维斯托克斯,争议也随之而来

OpenAI 近日宣布,在由智能体辅助下「解决」了纳维-斯托克斯方程的存在性与光滑性难题,这是数学界最著名的未解之谜之一。纳维-斯托克斯方程描述流体如何随压力、密度与速度随时间演化,是科学与工程的一块基石。天气预报、洋流研究、飞机与涡轮设计,都离不开这组方程,其重要性怎么强调都不为过。尽管方程可追溯

数学突破-vs-工程现实:OpenAI-的方程证明意味着什么?

OpenAI可能声称解决了一个对许多现代技术而言至关重要、价值百万美元的数学问题,但不要指望事情会立刻发生变化——至少不会马上。本月早些时候,OpenAI声称其内部模型之一证明了纳维-斯托克斯方程在某些情形下会失效并给出无意义的答案。这些方程用于模拟流体的运动。专攻湍流问题的工程公司ReynKo首席

OpenAI数学突破争议将改变整个科研行业

本周二,OpenAI 宣布借助一支由先进 AI 智能体组成的大军,找到了一个著名未解数学问题的解法。但这场发布会迅速演变为一场爆炸性丑闻:数学家们指控该公司“窃取”了他们的研究成果,学术界对此普遍感到震惊与愤慨。 核心数据:十亿次算力冲击 Navier-Stokes OpenAI 声称破解的是纳维-

人工智能破解埃尔德什数学难题取得重大进展

2026年5月20日,OpenAI宣布其内部AI模型给出了单位距离猜想的反例——这是1946年由匈牙利数学奇才保罗·埃尔德什(Paul Erdős)提出的著名难题。随后8月1日,名为Astra的未发布模型又取得10项数学进展,其中包括另外3道埃尔德什问题。许多数学家将其称为AI数学能力的"相变",曾

张朝阳“马拉松”推演“雨滴下落”物理原理

“我们今天致敬斯托克斯!”10月6日,《张朝阳的物理课》国庆特别节目开讲,搜狐董事局主席、物理学博士张朝阳硬核解构“雨滴为什么不伤人”背后的流体力学原理,并求解了被称为“数学史上最难方程之一”的纳维尔—斯托克斯方程。看似简单的生活问题背后,涉及到多个层级的数学和物理原理,课堂全程持续近5个小时,马拉

站在前人的肩膀上,新一代数学家正在崛起

   在中国科学院数学与系统科学研究院(以下简称“数学院”),各个研究方向的新一代数学家站在前人的肩膀上正在崛起。他们活跃在国际最前沿,正在完成从跟随者到引领者的转变。“璀璨团队”  “偏微分方程卓越创新国际团队”璀璨闪耀,这里集聚了该领域最优秀的青年人才,他们共同攻关流体力学方程(纳维—斯托克斯方

关于反斯托克斯荧光的基本介绍

  反斯托克斯荧光是气态自由原子吸收了光源的特征辐射后,原子的价电子跃迁到较高能级,然后又跃迁返回基态或较低能级,同时发射出小于光源激发辐射的波长的荧光。   荧光,又作“萤光”,是指一种光致发光的冷发光现象。当某种常温物质经某种波长的入射光(通常是紫外线或X射线)照射,吸收光能后进入激发态,并且

2023年数学界“诺贝尔奖”揭晓

原文地址:http://news.sciencenet.cn/htmlnews/2023/3/496733.shtm 3月22日,被誉为数学界“诺贝尔奖”的阿贝尔奖揭晓。 挪威科学和文学学院决定将2023年阿贝尔奖授予美国得克萨斯大学奥斯汀分校教授路易斯•卡法雷利(Luis A. Caffa

575万奖金!2023年数学界“诺贝尔奖”揭晓

原文地址:http://news.sciencenet.cn/htmlnews/2023/3/497257.shtm3月22日,被誉为数学界“诺贝尔奖”的阿贝尔奖揭晓。挪威科学和文学学院决定将2023年阿贝尔奖授予美国得克萨斯大学奥斯汀分校教授路易斯?卡法雷利(Luis A. Caffarelli)

“征服”数学,AI是否有能力“回答世界”

最近,专门为人工智能(AI)设立的AI国际奥林匹克数学竞赛(IMO)即将进入尾声,其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力,训练出更高数学水平的新AI模型。     纯数学领域中的重大发现是推理和创造力的灵感结晶,往往意味着人类智慧

OpenAI打包新闻集团版权训练大模型

ChatGPT再扩容,这次将加入十余家媒体的新闻内容。当地时间5月22日,OpenAI宣布与新闻集团(News Corp)达成多年期协议,将获得主要新闻和信息出版物的当前和存档内容,包括《华尔街日报》《巴伦周刊》《纽约邮报》《泰晤士报》《太阳报》等十余家媒体。根据协议,OpenAI将能在ChatGP

研究显示:AI破解数学难题效果提升显著

核心数据:AI模型50%成功率推翻80年猜想1946年,著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想:在平面上放置若干点,使得尽可能多的点对之间距离相同,埃尔德什认为最佳排列方式是使用规则网格。八十年来,无人能够证明或推翻这一猜想。然而,OpenAI的研究者将这一猜想交给AI模型处理后,

压缩算法为大语言模型“瘦身”

据美国科学促进会旗下网站19日报道,美国普林斯顿大学和斯坦福大学团队开发出一种新压缩算法CALDERA,能精简大型语言模型(LLM)的海量数据,为LLM“瘦身”。这项算法不仅有助保护数据隐私、节约能源、降低成本,还能推动LLM在手机和笔记本电脑上高效使用。团队举例称,当人们使用ChatGPT时,请求

《自然》发文盛赞中国开源AI模型DeepSeek

最近,由来自杭州的“深度求索”初创团队开发的DeepSeek系列AI模型,引发了全球范围的关注。1月24日,知名学术期刊《自然》也发文关注该模型及相应产品,称“中国开发的大语言模型DeepSeek-R1以亲民价格和开放性挑战了OpenAI的推理模型GPT-o1的地位,令科学家们感到兴奋”。《中国科学

87年雅可比猜想难题终于被推翻

当无数人还沉浸在最近世界杯决赛的余兴中,数学界正酝酿另一种兴奋。在人工智能公司 Anthropic 工作的数学家 Levent Alpöge 在 X 平台随性地宣布,他借助数周前刚向公众发布的 Anthropic 大语言模型 Claude Fable 5,找到了代数几何中著名老问题“雅可比猜想”(

科学家设置数学测试新基准,难倒AI

下棋、写诗、绘画……人工智能(AI)似乎越来越“多才多艺”,就连数学似乎都难不倒它。大语言模型(LLM),如OpenAI的ChatGPT,几乎在每一次数学测试中都表现良好。不过,此前AI几乎没有触及数学领域的前沿研究,并不能反映其真正的数学能力。近日,一项在预印本平台公布的研究中,美国技术研究机构E

OpenAI-发布新一代大模型,更擅长推理也更贵

传说中的“草莓”现身,9月12日晚间,OpenAI正式对外发布一款名为o1的新模型,这款模型为该公司下一代 “推理” 模型中的第一个,o为“Orion(猎户座)”,这款模型可以比人类更快地回答更复杂的问题。与以前的模型相比,在编写代码和解决多步骤问题方面做得更好。但它也比此前发布的GPT-4o更贵,

谷歌推出两大数学模型,19秒解开IMO2024几何问题

·六道题每题可得7分,总分最高42分。谷歌DeepMind的人工智能系统在今年国际数学奥林匹克竞赛中最终得分28分。今年金牌的门槛是29分,在正式比赛的609名选手中,58名达到了这一门槛。·DeepMind表示,尽管基于自然语言的方法可以访问更多数据,但会产生看似合理但不正确的中间推理步骤和解决方

8个小技巧“用好”大语言模型

用大语言模型,还需要技巧?在人们的印象中,这是个极其简单的操作:只需输入一个问题,立刻就能得到回答。但实际上,如何有效地与这些人工智能模型互动,发挥出它们的最大潜力,却是一个经常被忽视的话题。中国科学技术大学心理学系特任研究员林志成关注到这一话题,并在他最近的评论文章中提供了一系列的策略和指导,希望

太赫兹相干反斯托克斯拉曼散射显微镜

  太赫兹(THz)振动模式被认为存在于生物大分子中,在阐明其相应的生物功能方面具有重要的意义。然而,要观察这些生物大分子的低频振动模式是有挑战性的,尤其是在生物组织中。在THz区域缺乏一种可靠的高分辨率振动成像方法。所以,振动光谱成像在生物医学研究中具有重要的应用价值。然而,振动成像在太赫兹区域(

为何AI破解数学猜想引发关注?

上周,OpenAI震动数学界:它披露旗下一个内部人工智能模型,找到了传奇匈牙利数学家保罗·埃尔德什(Paul Erdős)1946年提出著名猜想的反例。这个“平面单位距离问题”(埃尔德什第90号问题)困扰数学家数十年。加拿大数学家丹尼尔·利特(Daniel Litt)称其为“第一个由AI自主产出、

2023年《Nature》十大人物揭晓-非人类ChatGPT榜上有名

  12月14日,2023年《自然》年度十大人物(Nature's 10)正式揭晓,除了从全球重大科学事件中评选出的10位人物——5位男性,5位女性,今年还有1位非人类上榜——美国人工智能公司OpenAI发布的聊天机器人ChatGPT。  2023年的《自然》年度十大人物分别是:  印度空间

隐藏在这幅画中的17个不同的物理世界

   在不同尺度上,物理世界遵循着不同的规律。描述微观量子世界的定律,与描述宏观物体的定律有着本质的区别。然而,任何随着尺度的变化必然是连续的,物理学中看似截然分立的领域,实则具有丰富的联系。  《尺度,法则和生命》这幅画,正是通过17个地位显著的公式,描绘了物理学不同领域的联系与相互影响。  ○