研究显示：大语言模型数学证明效果提升显著
核心数据：一份离奇的里程碑证明 数学界数十年来最重大的事件正逐渐清晰，而它比任何人设想的都更加离奇。九月初，OpenAI发布了一份令人费解的166页纳维-斯托克斯问题解答，这是数学界著名的百万美元难题之一。 该公司动用了约一万个副本的智能体群，也就是其新近擅长数学的大语言模型，耗费约88小时计算时间与1300亿词元，共同构造出了所谓的爆破现象。 上周，该公司又向学界抛出了约400项结果。在前人工智能时代，其中至少十来项足以让任何一位人类数学家赢得菲尔兹奖——数学界的诺贝尔奖。地球上已没有足够的专家能跟上这股洪流，且毫无放缓迹象。 实验设计：从漏洞到爆破 纳维-斯托克斯方程是所有流体背后的数学。OpenAI通过揭示方程中的一个缺陷来攻克这个百万美元难题：其人工智能构造出一种情境，使方程宣称流体流速应当为无穷大，也就是现实中不可能出现的爆破。 最初的说法，包括公司自身，都暗示这份由内部大语言模型产出的证明，遵循了两位西班牙数学家......阅读全文
研究显示：大语言模型数学证明效果提升显著
核心数据：一份离奇的里程碑证明 数学界数十年来最重大的事件正逐渐清晰，而它比任何人设想的都更加离奇。九月初，OpenAI发布了一份令人费解的166页纳维-斯托克斯问题解答，这是数学界著名的百万美元难题之一。 该公司动用了约一万个副本的智能体群，也就是其新近擅长数学的大语言模型，耗费约88小时计算时
为何OpenAI的AI“证明”纳维斯托克斯难题，数学家却看不懂？
本月初，OpenAI宣布它找到了数学界最棘手的未解难题之一——纳维-斯托克斯方程的解法，引发巨大轰动。该公司调动一万个强大的AI代理，连续八十八小时不间断地攻坚这个困扰学界已久的谜题，声势颇为浩大。然而这次宣布从一开始就充满争议，因为不少数学家指责这家公司实质上窃取了他们多年积累的原创研究成果。争议
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
OpenAI称破解数学“千禧年难题”
开放人工智能研究中心（OpenAI）宣称，一个真正重量级的数学公开难题首次由计算机攻克。该机构公布了“千禧年难题”中与流体运动相关问题的解答方案。据《自然》报道，这家坐落于美国旧金山的人工智能（AI）公司于9月8日对外宣布，研究人员得出了流体最常用模型——纳维-斯托克斯方程的求解结果，证明该方程会出
人工智能是否真的破解了千禧年数学难题
流体运动看似简单，背后的方程却是数学界最著名的悬案之一。这道谜题如今似乎被人工智能解开，尽管这一成果本身也引发了激烈争议。九月八日，OpenAI 宣布在纳维-斯托克斯存在性与光滑性问题上取得突破——该问题分量极重，以至于有人为它的解答悬赏一百万美元，被视作指引整个流体力学方向的指南针之一。就在前一天
OpenAI宣布攻克千禧年难题：AI证明纳维斯托克斯方程存缺陷
OpenAI宣称在数学领域取得一项“重磅突破”：其自研内部模型证明了用于描述流体运动的纳维-斯托克斯方程（Navier-Stokes）存在“致命缺陷”。若属实，这将是人类历史上第二次有人攻克七大“千禧年大奖难题”之一——而首次的解决者是人，这一次却是一家AI公司。“千禧年大奖难题”由克莱数学研究所于
AI－疑似破解千禧年难题纳维斯托克斯，争议也随之而来
OpenAI 近日宣布，在由智能体辅助下「解决」了纳维-斯托克斯方程的存在性与光滑性难题，这是数学界最著名的未解之谜之一。纳维-斯托克斯方程描述流体如何随压力、密度与速度随时间演化，是科学与工程的一块基石。天气预报、洋流研究、飞机与涡轮设计，都离不开这组方程，其重要性怎么强调都不为过。尽管方程可追溯
真解还是取巧：OpenAI－解的是正确的方程吗？
两周前，OpenAI 宣称解决了数学中最大的悬而未决问题之一——纳维-斯托克斯问题。这项成就对应克雷数学研究所提供的100万美元悬赏。该证明随即引发轩然大波，争议焦点在于人工智能公司正在争相颠覆这个学科。但尘埃远未落定之际，另一个争议浮出水面：OpenAI 解的到底是不是「对」的那个纳维-斯托克斯问
数学证明难题终于有解了
闸门已经打开。就在OpenAI的新大语言模型取得二十年来最大数学突破一个月之后，这家公司又放出了一批成果：据称多达三百七十二项结果，每一项都解决或实质性推进了数学或理论计算机科学中的某个重大公开问题。这些结果于美国东部时间傍晚六点发布在一个公开代码仓库中，数学界需要数月才能逐一消化、理解，以判断
为何纳维斯托克斯方程的非物理解引发关注？
近两个世纪，研究流体运动的研究者都依赖纳维-斯托克斯方程（Navier-Stokes equations），但数学家仍对其是否贴合现实存疑。一篇将发表于《数学年刊》（Annals of Mathematics）的论文取得新突破：由普林斯顿高等研究院的达拉斯·阿尔布里顿（Dallas Albritt
AI破解六维球面数学谜题正成新风口
一个六维球面能否用复数（包含看似不可能的负一平方根）完整描述？这个由德国数学家海因茨·霍普夫（Heinz Hopf）在1947年提出的问题，悬置了近80年。如今，Anthropic公司的数学家莱文特·阿尔珀格（Levent Alpöge）借助人工智能，似乎给出了肯定答案——尽管结果尚未被完全验证。这
AI数学证明可信性难题终于有解了
本周二，聊天机器人制造商开放人工智能发布数百篇新论文，声称包含各类数学问题的证明，这正值其人工智能智能体求解纳维-斯托克斯方程的方式引发巨大争议之后。这一发布的处理方式，如同纳维-斯托克斯事件一样，惹恼了该领域的专家，他们对该公司模型可能使用其成果感到恼火，也反感隐含的期望——即他们应去从事拆解并
数学突破－vs－工程现实：OpenAI－的方程证明意味着什么？
OpenAI可能声称解决了一个对许多现代技术而言至关重要、价值百万美元的数学问题，但不要指望事情会立刻发生变化——至少不会马上。本月早些时候，OpenAI声称其内部模型之一证明了纳维-斯托克斯方程在某些情形下会失效并给出无意义的答案。这些方程用于模拟流体的运动。专攻湍流问题的工程公司ReynKo首席
为何AI能破椭圆曲线复杂度纪录？
为什么人工智能能够打破数学家保持了多年的最复杂曲线纪录，这引发了学界的广泛关注。 数论领域迄今最复杂的成果看起来却异常简单：它本质上就是一条曲线和一条直线。 更专业地说，这是一个秩至少为三十一的椭圆曲线，意味着它具有至少三十一个独立的起始点。 秩越高，曲线上的规律就越复杂，也决定了某些点沿曲线分布的
科学家提出融合智能火灾预测与大语言模型的自驱动消防应急智能体
香港理工大学建筑环境及能源工程系副教授黄鑫炎、博士研究生谢伟康等提出“LLM-AI”自驱动的消防应急智能体框架，以大语言模型（LLM）作为任务协调与推理核心，将AI火场态势感知模型作为专业工具纳入智能体的自主执行流程，弥合了火灾场景下人工智能与用户的交互鸿沟，为未来城市中的智慧消防技术落地提供了
压缩算法为大语言模型“瘦身”
据美国科学促进会旗下网站19日报道，美国普林斯顿大学和斯坦福大学团队开发出一种新压缩算法CALDERA，能精简大型语言模型（LLM）的海量数据，为LLM“瘦身”。这项算法不仅有助保护数据隐私、节约能源、降低成本，还能推动LLM在手机和笔记本电脑上高效使用。团队举例称，当人们使用ChatGPT时，请求
医疗大模型智能体决策框架FRAME发布
近日，中国科学院合肥物质科学研究院研究员丁增辉联合华南理工大学教授靳战鹏团队，提出一种医疗大模型智能体决策框架FRAME (Feedback-Refined Agent Methodology)。相关研究工作被第63届国际计算语言学年会ACL录用，博士生张一鸣与余承章为论文共同第一作者。 探寻
8个小技巧“用好”大语言模型
用大语言模型，还需要技巧？在人们的印象中，这是个极其简单的操作：只需输入一个问题，立刻就能得到回答。但实际上，如何有效地与这些人工智能模型互动，发挥出它们的最大潜力，却是一个经常被忽视的话题。中国科学技术大学心理学系特任研究员林志成关注到这一话题，并在他最近的评论文章中提供了一系列的策略和指导，希望
新研究提出大模型智能体电网调度框架
近日，华南理工大学教授朱继忠团队与合作者在《自然-通讯工程》上发表研究成果，提出一种面向智能电网运行的大模型智能体（LMA）定制框架，为新能源高渗透、电气化负荷增长及分布式能源广泛接入背景下的电网调度控制提供新思路。 论文共同通讯作者朱继忠对《中国科学报》表示，该框架的核心并非让通用大模型直接
OpenAI数学突破争议将改变整个科研行业
本周二，OpenAI 宣布借助一支由先进 AI 智能体组成的大军，找到了一个著名未解数学问题的解法。但这场发布会迅速演变为一场爆炸性丑闻：数学家们指控该公司“窃取”了他们的研究成果，学术界对此普遍感到震惊与愤慨。 核心数据：十亿次算力冲击 Navier-Stokes OpenAI 声称破解的是纳维-
日本将开发更强日语能力的“大语言模型”人工智能技术
据共同社消息，日本东北大学和日本东京工业大学等团队计划开发一种更强日语能力的“大语言模型”，作为生成式人工智能（AI）的基础技术。该团队将利用理化学研究所的超级计算机“富岳”学习大量数据，并将在本年度内逐步公开。这一技术的开发将使国内企业和研究人员能够为自己的公司的服务或研究而自行改良。生成式AI可
大语言模型现状偏见难题终于有解了
加拿大滑铁卢大学的一项综合研究揭示，主流大语言模型存在显著的现状偏见，在气候相关建议中持续偏向既有、高排放的选择，而非创新的、对气候友好的替代方案。研究团队评估了十一个知名人工智能模型，在近五万五千条测试提示中，发现聊天机器人认可现有政策的概率，是支持拟议气候改革方案的两倍；而被推荐的电动汽车比
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
人工智能新模型可解码DNA隐藏“语言”
DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将人类DNA视为文本，通过学习其规则和上
人工智能新模型可解码DNA隐藏“语言”
DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将人类DNA视为文本，通过学习其规则
人工智能新模型可解码DNA隐藏“语言”
DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将人类DNA视为文本，通过学习其规则和上
人工智能新模型可解码DNA隐藏“语言”
科技日报北京8月6日电 （记者张佳欣）DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将
人工智能新模型可解码DNA隐藏“语言”
DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将人类DNA视为文本，通过学习其规则和上
AI求解数学难题正成为新风口
人工智能公司Anthropic用大语言模型生成了一份渗流理论核心猜想的证明，仅在其预言者发文数日后便宣告成功。 渗流理论研究随机网络中连通性的出现，一个长期圣杯问题便是刻画网络从有限簇到无限簇的相变阈值。 具体而言，数学家长期寻求理解一个阈值：高于它，某网络由无限开放连接构成的概率高；低于它，该概率
科学家构建丙烷及前体物高维同位素数学模型
中国科学院院士、中国科学院广州地球化学研究所研究员彭平安团队，通过构建丙烷及前体物同位素体反应图谱，进而建立并验证丙烷及前体物高维同位素数学模型方法。相关成果近日发表于《创新：地球科学》（The Innovation Geoscience）。单体同位素分析技术（CSIA）最普遍的应用是根据母体化合物