AI疑似破解千禧年难题纳维斯托克斯，争议也随之而来
OpenAI 近日宣布，在由智能体辅助下「解决」了纳维-斯托克斯方程的存在性与光滑性难题，这是数学界最著名的未解之谜之一。纳维-斯托克斯方程描述流体如何随压力、密度与速度随时间演化，是科学与工程的一块基石。天气预报、洋流研究、飞机与涡轮设计，都离不开这组方程，其重要性怎么强调都不为过。尽管方程可追溯到十九世纪，它是否始终「表现良好」却长期成谜——某些情形下，它可能产生流速趋于无穷的「爆破」解。这个问题被克莱数学研究所列为千禧年七大难题之一，悬赏高达一百万美元。在 OpenAI 宣布前一天，两位数学家报告了相关问题的进展：他们借助多个智能模型取得突破。两者之间的关系，以及 OpenAI 是否「看过」二人的进展，引发了激烈猜测。其中一队聚焦的欧拉方程不含黏性，是通往纳维-斯托克斯的阶梯；他们找到了在外力推动下的爆破解。传闻四起之际，OpenAI 研究者动用约一万个智能体，集中攻关纳维-斯托克斯，并发现受迫版本下的涡旋爆破解。这一解意......阅读全文
OpenAI宣布攻克千禧年难题：AI证明纳维斯托克斯方程存缺陷
OpenAI宣称在数学领域取得一项“重磅突破”：其自研内部模型证明了用于描述流体运动的纳维-斯托克斯方程（Navier-Stokes）存在“致命缺陷”。若属实，这将是人类历史上第二次有人攻克七大“千禧年大奖难题”之一——而首次的解决者是人，这一次却是一家AI公司。“千禧年大奖难题”由克莱数学研究所于
OpenAI称破解数学“千禧年难题”
开放人工智能研究中心（OpenAI）宣称，一个真正重量级的数学公开难题首次由计算机攻克。该机构公布了“千禧年难题”中与流体运动相关问题的解答方案。据《自然》报道，这家坐落于美国旧金山的人工智能（AI）公司于9月8日对外宣布，研究人员得出了流体最常用模型——纳维-斯托克斯方程的求解结果，证明该方程会出
AI－疑似破解千禧年难题纳维斯托克斯，争议也随之而来
OpenAI 近日宣布，在由智能体辅助下「解决」了纳维-斯托克斯方程的存在性与光滑性难题，这是数学界最著名的未解之谜之一。纳维-斯托克斯方程描述流体如何随压力、密度与速度随时间演化，是科学与工程的一块基石。天气预报、洋流研究、飞机与涡轮设计，都离不开这组方程，其重要性怎么强调都不为过。尽管方程可追溯
人工智能是否真的破解了千禧年数学难题
流体运动看似简单，背后的方程却是数学界最著名的悬案之一。这道谜题如今似乎被人工智能解开，尽管这一成果本身也引发了激烈争议。九月八日，OpenAI 宣布在纳维-斯托克斯存在性与光滑性问题上取得突破——该问题分量极重，以至于有人为它的解答悬赏一百万美元，被视作指引整个流体力学方向的指南针之一。就在前一天
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
为何纳维斯托克斯方程的非物理解引发关注？
近两个世纪，研究流体运动的研究者都依赖纳维-斯托克斯方程（Navier-Stokes equations），但数学家仍对其是否贴合现实存疑。一篇将发表于《数学年刊》（Annals of Mathematics）的论文取得新突破：由普林斯顿高等研究院的达拉斯·阿尔布里顿（Dallas Albritt
OpenAI数学突破争议将改变整个科研行业
本周二，OpenAI 宣布借助一支由先进 AI 智能体组成的大军，找到了一个著名未解数学问题的解法。但这场发布会迅速演变为一场爆炸性丑闻：数学家们指控该公司“窃取”了他们的研究成果，学术界对此普遍感到震惊与愤慨。 核心数据：十亿次算力冲击 Navier-Stokes OpenAI 声称破解的是纳维-
研究显示：AI数学证明效果提升显著
问题提出：当两套研究同时借助 AI 攻克同一道难题 上周四，麻省理工学院（MIT）研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校（UCSB）博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
站在前人的肩膀上，新一代数学家正在崛起
在中国科学院数学与系统科学研究院（以下简称“数学院”），各个研究方向的新一代数学家站在前人的肩膀上正在崛起。他们活跃在国际最前沿，正在完成从跟随者到引领者的转变。“璀璨团队” “偏微分方程卓越创新国际团队”璀璨闪耀，这里集聚了该领域最优秀的青年人才，他们共同攻关流体力学方程（纳维—斯托克斯方
张朝阳“马拉松”推演“雨滴下落”物理原理
“我们今天致敬斯托克斯！”10月6日，《张朝阳的物理课》国庆特别节目开讲，搜狐董事局主席、物理学博士张朝阳硬核解构“雨滴为什么不伤人”背后的流体力学原理，并求解了被称为“数学史上最难方程之一”的纳维尔—斯托克斯方程。看似简单的生活问题背后，涉及到多个层级的数学和物理原理，课堂全程持续近5个小时，马拉
人工智能破解埃尔德什数学难题取得重大进展
2026年5月20日，OpenAI宣布其内部AI模型给出了单位距离猜想的反例——这是1946年由匈牙利数学奇才保罗·埃尔德什（Paul Erdős）提出的著名难题。随后8月1日，名为Astra的未发布模型又取得10项数学进展，其中包括另外3道埃尔德什问题。许多数学家将其称为AI数学能力的"相变"，曾
为何AI破解数学猜想引发关注？
上周，OpenAI震动数学界：它披露旗下一个内部人工智能模型，找到了传奇匈牙利数学家保罗·埃尔德什（Paul Erdős）1946年提出著名猜想的反例。这个“平面单位距离问题”（埃尔德什第90号问题）困扰数学家数十年。加拿大数学家丹尼尔·利特（Daniel Litt）称其为“第一个由AI自主产出、
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
科学家设置数学测试新基准，难倒AI
下棋、写诗、绘画……人工智能（AI）似乎越来越“多才多艺”，就连数学似乎都难不倒它。大语言模型（LLM），如OpenAI的ChatGPT，几乎在每一次数学测试中都表现良好。不过，此前AI几乎没有触及数学领域的前沿研究，并不能反映其真正的数学能力。近日，一项在预印本平台公布的研究中，美国技术研究机构E
关于反斯托克斯荧光的基本介绍
反斯托克斯荧光是气态自由原子吸收了光源的特征辐射后，原子的价电子跃迁到较高能级，然后又跃迁返回基态或较低能级，同时发射出小于光源激发辐射的波长的荧光。 荧光，又作“萤光”，是指一种光致发光的冷发光现象。当某种常温物质经某种波长的入射光（通常是紫外线或X射线）照射，吸收光能后进入激发态，并且
《飞出个未来》编剧的剧情难题终于有解了：一个全新数学证明
一部动画片里的剧情漏洞，竟催生出一个全新的数学证明。在《飞出个未来》（Futurama）的“The Prisoner of Benda”一集中，编剧 Ken Keeler 为让角色们换回身体，亲手推导出一个关于“身体交换”的置换定理——这或许是最具娱乐性的数学成果之一。研究背景来自一集看似寻常的剧情
为何菲尔兹奖得主齐默尔曼对人工智能的忧虑引发关注？
38岁的雅各布·齐默尔曼（Jacob Tsimerman）近日被列为2026年菲尔兹奖四位得主之一，表彰他以跨界方法攻克了历时数十年的安德烈-奥尔特（André-Oort）猜想。然而，这位以"抢先解题"为乐的数学家却公开预言：两年内人工智能将在做数学方面超越人类数学家，并因此停止招收研究生、将研究方
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
多国研究团队宣称罗塔猜测已被证明－震惊数学界
一个由新西兰维多利亚大学数学家杰夫·惠特尔、加拿大滑铁卢大学数学家吉姆·吉伦和荷兰马斯特里赫特大学数学家伯特·杰拉德斯组成的研究团队日前宣称：他们经过15年的艰辛努力，终于找到了所有的必要的证据去证明著名的罗塔猜测。此消息一出，震惊数学界。 罗塔猜测是美国数学家和哲学家吉安-卡洛·罗塔19
周伯文：科学研究是下一个编程
“科学探索的罗盘，始终应该由人类的心智、好奇心与价值判断来掌握。”9月12日，上海人工智能实验室主任、首席科学家周伯文受邀参加2026浦江创新论主论坛并发表主旨演讲，分享人工智能（AI）赋能科学研究的新进展与前沿思考，并以“书生·端砚”科学发现平台为例，分享了上海人工智能实验室最新的探索实践。
困扰学界四十年的旅行商问题难题终于有解了
2026年，国际数学联盟将四年一度的阿巴斯奖章授予了华盛顿大学西雅图分校的计算机科学家沙扬·奥维斯·加兰。这位不满四十岁的理论计算机科学家，凭借在史上最难计算问题之一“旅行商问题”上的突破，以及在一类看似无关的随机采样难题上的贡献获此殊荣。评委会特别称赞他，善于从数学中那些与计算机科学看似毫不相干的
为何2026年菲尔兹奖引发全球数学界关注？
问题提出：流体如何做到宏观连续、微观却混沌？一根在空中旋转的铅笔怎样扫过最小空间？打结的绳子怎样被严谨区分？这些看似朴素、却困扰数学界数十年的难题，正是 2026 年菲尔兹奖破解的核心对象，也重新点燃了公众对纯粹数学的好奇。 在费城召开的国际数学家大会上，有"数学界诺贝尔奖"之称的菲尔兹奖揭晓，四
助手还是对手？AI工具将如何改变数学领域
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494250.shtm ChatGPT的横空出世让人们对聊天机器人的兴趣如野火般蔓延，数学家们开始探索人工智能（AI）如何帮助他们完成工作。英国《自然》杂志网站在2月17日的报道中指出，机器学习等AI工
《自然》发文盛赞中国开源AI模型DeepSeek
最近，由来自杭州的“深度求索”初创团队开发的DeepSeek系列AI模型，引发了全球范围的关注。1月24日，知名学术期刊《自然》也发文关注该模型及相应产品，称“中国开发的大语言模型DeepSeek-R1以亲民价格和开放性挑战了OpenAI的推理模型GPT-o1的地位，令科学家们感到兴奋”。《中国科学
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
2023年数学界“诺贝尔奖”揭晓
原文地址：http://news.sciencenet.cn/htmlnews/2023/3/496733.shtm 3月22日，被誉为数学界“诺贝尔奖”的阿贝尔奖揭晓。 挪威科学和文学学院决定将2023年阿贝尔奖授予美国得克萨斯大学奥斯汀分校教授路易斯•卡法雷利（Luis A. Caffa