为何OpenAI的AI“证明”纳维斯托克斯难题，数学家却看不懂？
本月初，OpenAI宣布它找到了数学界最棘手的未解难题之一——纳维-斯托克斯方程的解法，引发巨大轰动。该公司调动一万个强大的AI代理，连续八十八小时不间断地攻坚这个困扰学界已久的谜题，声势颇为浩大。然而这次宣布从一开始就充满争议，因为不少数学家指责这家公司实质上窃取了他们多年积累的原创研究成果。争议至今仍在数学界持续发酵，但一个更根本的问题浮出水面：AI给出的解到底教会了我们什么？答案令人失望。因为这份证明虽然技术上可以被判定为正确，却几乎到了人类无法理解的地步，可谓是边界模糊、难以卒读。牛津大学数学家James Maynard告诉NPR，迄今为止，很难从这份崭新的AI证明中提取出任何人类可以理解的知识与洞见。布朗大学数学家Javier Gomez-Serrano也呼应说，这篇论文根本不是为人类而写的，其表述方式超出了常规学术阅读的范畴。他表示，经过认真的改写与梳理之后，AI的证明或许能帮助学界前行，但截至目前，它真正教给我们的......阅读全文
OpenAI宣布攻克千禧年难题：AI证明纳维斯托克斯方程存缺陷
OpenAI宣称在数学领域取得一项“重磅突破”：其自研内部模型证明了用于描述流体运动的纳维-斯托克斯方程（Navier-Stokes）存在“致命缺陷”。若属实，这将是人类历史上第二次有人攻克七大“千禧年大奖难题”之一——而首次的解决者是人，这一次却是一家AI公司。“千禧年大奖难题”由克莱数学研究所于
为何OpenAI的AI“证明”纳维斯托克斯难题，数学家却看不懂？
本月初，OpenAI宣布它找到了数学界最棘手的未解难题之一——纳维-斯托克斯方程的解法，引发巨大轰动。该公司调动一万个强大的AI代理，连续八十八小时不间断地攻坚这个困扰学界已久的谜题，声势颇为浩大。然而这次宣布从一开始就充满争议，因为不少数学家指责这家公司实质上窃取了他们多年积累的原创研究成果。争议
OpenAI称破解数学“千禧年难题”
开放人工智能研究中心（OpenAI）宣称，一个真正重量级的数学公开难题首次由计算机攻克。该机构公布了“千禧年难题”中与流体运动相关问题的解答方案。据《自然》报道，这家坐落于美国旧金山的人工智能（AI）公司于9月8日对外宣布，研究人员得出了流体最常用模型——纳维-斯托克斯方程的求解结果，证明该方程会出
AI－疑似破解千禧年难题纳维斯托克斯，争议也随之而来
OpenAI 近日宣布，在由智能体辅助下「解决」了纳维-斯托克斯方程的存在性与光滑性难题，这是数学界最著名的未解之谜之一。纳维-斯托克斯方程描述流体如何随压力、密度与速度随时间演化，是科学与工程的一块基石。天气预报、洋流研究、飞机与涡轮设计，都离不开这组方程，其重要性怎么强调都不为过。尽管方程可追溯
人工智能是否真的破解了千禧年数学难题
流体运动看似简单，背后的方程却是数学界最著名的悬案之一。这道谜题如今似乎被人工智能解开，尽管这一成果本身也引发了激烈争议。九月八日，OpenAI 宣布在纳维-斯托克斯存在性与光滑性问题上取得突破——该问题分量极重，以至于有人为它的解答悬赏一百万美元，被视作指引整个流体力学方向的指南针之一。就在前一天
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
OpenAI数学突破争议将改变整个科研行业
本周二，OpenAI 宣布借助一支由先进 AI 智能体组成的大军，找到了一个著名未解数学问题的解法。但这场发布会迅速演变为一场爆炸性丑闻：数学家们指控该公司“窃取”了他们的研究成果，学术界对此普遍感到震惊与愤慨。 核心数据：十亿次算力冲击 Navier-Stokes OpenAI 声称破解的是纳维-
为何纳维斯托克斯方程的非物理解引发关注？
近两个世纪，研究流体运动的研究者都依赖纳维-斯托克斯方程（Navier-Stokes equations），但数学家仍对其是否贴合现实存疑。一篇将发表于《数学年刊》（Annals of Mathematics）的论文取得新突破：由普林斯顿高等研究院的达拉斯·阿尔布里顿（Dallas Albritt
真解还是取巧：OpenAI－解的是正确的方程吗？
两周前，OpenAI 宣称解决了数学中最大的悬而未决问题之一——纳维-斯托克斯问题。这项成就对应克雷数学研究所提供的100万美元悬赏。该证明随即引发轩然大波，争议焦点在于人工智能公司正在争相颠覆这个学科。但尘埃远未落定之际，另一个争议浮出水面：OpenAI 解的到底是不是「对」的那个纳维-斯托克斯问
数学突破－vs－工程现实：OpenAI－的方程证明意味着什么？
OpenAI可能声称解决了一个对许多现代技术而言至关重要、价值百万美元的数学问题，但不要指望事情会立刻发生变化——至少不会马上。本月早些时候，OpenAI声称其内部模型之一证明了纳维-斯托克斯方程在某些情形下会失效并给出无意义的答案。这些方程用于模拟流体的运动。专攻湍流问题的工程公司ReynKo首席
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
研究显示：AI数学证明效果提升显著
问题提出：当两套研究同时借助 AI 攻克同一道难题 上周四，麻省理工学院（MIT）研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校（UCSB）博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
为何AI破解数学猜想引发关注？
上周，OpenAI震动数学界：它披露旗下一个内部人工智能模型，找到了传奇匈牙利数学家保罗·埃尔德什（Paul Erdős）1946年提出著名猜想的反例。这个“平面单位距离问题”（埃尔德什第90号问题）困扰数学家数十年。加拿大数学家丹尼尔·利特（Daniel Litt）称其为“第一个由AI自主产出、
人工智能破解埃尔德什数学难题取得重大进展
2026年5月20日，OpenAI宣布其内部AI模型给出了单位距离猜想的反例——这是1946年由匈牙利数学奇才保罗·埃尔德什（Paul Erdős）提出的著名难题。随后8月1日，名为Astra的未发布模型又取得10项数学进展，其中包括另外3道埃尔德什问题。许多数学家将其称为AI数学能力的"相变"，曾
站在前人的肩膀上，新一代数学家正在崛起
在中国科学院数学与系统科学研究院（以下简称“数学院”），各个研究方向的新一代数学家站在前人的肩膀上正在崛起。他们活跃在国际最前沿，正在完成从跟随者到引领者的转变。“璀璨团队” “偏微分方程卓越创新国际团队”璀璨闪耀，这里集聚了该领域最优秀的青年人才，他们共同攻关流体力学方程（纳维—斯托克斯方
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
关于反斯托克斯荧光的基本介绍
反斯托克斯荧光是气态自由原子吸收了光源的特征辐射后，原子的价电子跃迁到较高能级，然后又跃迁返回基态或较低能级，同时发射出小于光源激发辐射的波长的荧光。 荧光，又作“萤光”，是指一种光致发光的冷发光现象。当某种常温物质经某种波长的入射光（通常是紫外线或X射线）照射，吸收光能后进入激发态，并且
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
张朝阳“马拉松”推演“雨滴下落”物理原理
“我们今天致敬斯托克斯！”10月6日，《张朝阳的物理课》国庆特别节目开讲，搜狐董事局主席、物理学博士张朝阳硬核解构“雨滴为什么不伤人”背后的流体力学原理，并求解了被称为“数学史上最难方程之一”的纳维尔—斯托克斯方程。看似简单的生活问题背后，涉及到多个层级的数学和物理原理，课堂全程持续近5个小时，马拉
科学家设置数学测试新基准，难倒AI
下棋、写诗、绘画……人工智能（AI）似乎越来越“多才多艺”，就连数学似乎都难不倒它。大语言模型（LLM），如OpenAI的ChatGPT，几乎在每一次数学测试中都表现良好。不过，此前AI几乎没有触及数学领域的前沿研究，并不能反映其真正的数学能力。近日，一项在预印本平台公布的研究中，美国技术研究机构E
87年雅可比猜想难题终于被推翻
当无数人还沉浸在最近世界杯决赛的余兴中，数学界正酝酿另一种兴奋。在人工智能公司 Anthropic 工作的数学家 Levent Alpöge 在 X 平台随性地宣布，他借助数周前刚向公众发布的 Anthropic 大语言模型 Claude Fable 5，找到了代数几何中著名老问题“雅可比猜想”（
为何菲尔兹奖得主齐默尔曼对人工智能的忧虑引发关注？
38岁的雅各布·齐默尔曼（Jacob Tsimerman）近日被列为2026年菲尔兹奖四位得主之一，表彰他以跨界方法攻克了历时数十年的安德烈-奥尔特（André-Oort）猜想。然而，这位以"抢先解题"为乐的数学家却公开预言：两年内人工智能将在做数学方面超越人类数学家，并因此停止招收研究生、将研究方
AI接连推翻数学猜想，人类还能守住菲尔兹奖吗？
“本届菲尔兹奖，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、邓煜历史性拿下菲尔兹奖的时候，大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，继丘成桐后第二位获菲尔兹奖的华裔数学家陶哲轩当众敲响百年警钟：AI正在引爆数学界前所未有的“
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）
OpenAI首席执行官引用《道德经》－呼吁AI安全问题合作
“随着越来越强大的人工智能系统出现，全球合作的利害关系变得前所未有的重要。”6月10日，OpenAI首席执行官阿尔特曼(Sam Altman)通过视频连线在2023北京智源大会“AI 安全与对齐”论坛演讲中这样说到。他在发言中引用《道德经》中的名句“千里之行，始于足下”，呼吁国际科技界就人工智能安全
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
《自然》发文盛赞中国开源AI模型DeepSeek
最近，由来自杭州的“深度求索”初创团队开发的DeepSeek系列AI模型，引发了全球范围的关注。1月24日，知名学术期刊《自然》也发文关注该模型及相应产品，称“中国开发的大语言模型DeepSeek-R1以亲民价格和开放性挑战了OpenAI的推理模型GPT-o1的地位，令科学家们感到兴奋”。《中国科学