AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研究，数学家始终无法判断这些方程是否在所有情形下都完美刻画现实，还是偶尔会出现真实流体中不可能发生的异常"数学闪失"。正因答案如此遥不可及，克莱数学研究所才为攻克它开出了 100 万美元的悬赏。 数学家特里斯坦·巴克斯特将这一壮举比作 1990 年代"深蓝"击败国际象棋世界冠军卡斯帕罗夫的历史性时刻。他在周一深夜的声明中写道："这是深蓝对弈卡斯帕罗夫式的瞬间，数学界需要一场冷静而严肃的讨论，思考我们该何去何从。" 然而，这一证明的来历却充满争议。巴克斯特称，他与 Anthropic 员工莱文特·阿尔珀格上月已在纳维-斯托克斯问题上取......阅读全文
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
OpenAI宣布攻克千禧年难题：AI证明纳维斯托克斯方程存缺陷
OpenAI宣称在数学领域取得一项“重磅突破”：其自研内部模型证明了用于描述流体运动的纳维-斯托克斯方程（Navier-Stokes）存在“致命缺陷”。若属实，这将是人类历史上第二次有人攻克七大“千禧年大奖难题”之一——而首次的解决者是人，这一次却是一家AI公司。“千禧年大奖难题”由克莱数学研究所于
为何纳维斯托克斯方程的非物理解引发关注？
近两个世纪，研究流体运动的研究者都依赖纳维-斯托克斯方程（Navier-Stokes equations），但数学家仍对其是否贴合现实存疑。一篇将发表于《数学年刊》（Annals of Mathematics）的论文取得新突破：由普林斯顿高等研究院的达拉斯·阿尔布里顿（Dallas Albritt
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
数学家试图借数学模型揭示肥胖之谜
肥胖研究似乎不属于数学范畴，但美国俄亥俄州立大学数学研究人员侯赛因·焦什昆不这样认为。他带领一个研究团队，试图借数学模型揭示脂肪细胞形成的过程并解开肥胖之谜。筛选 焦什昆阅读大量与前脂肪细胞转变为脂肪细胞相关的学术文章后，找出16种在这个转变过程中看起来最活跃的蛋白质，从中
站在前人的肩膀上，新一代数学家正在崛起
在中国科学院数学与系统科学研究院（以下简称“数学院”），各个研究方向的新一代数学家站在前人的肩膀上正在崛起。他们活跃在国际最前沿，正在完成从跟随者到引领者的转变。“璀璨团队” “偏微分方程卓越创新国际团队”璀璨闪耀，这里集聚了该领域最优秀的青年人才，他们共同攻关流体力学方程（纳维—斯托克斯方
谷歌推出两大数学模型，19秒解开IMO2024几何问题
·六道题每题可得7分，总分最高42分。谷歌DeepMind的人工智能系统在今年国际数学奥林匹克竞赛中最终得分28分。今年金牌的门槛是29分，在正式比赛的609名选手中，58名达到了这一门槛。·DeepMind表示，尽管基于自然语言的方法可以访问更多数据，但会产生看似合理但不正确的中间推理步骤和解决方
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新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）
研究显示：AI数学证明效果提升显著
问题提出：当两套研究同时借助 AI 攻克同一道难题 上周四，麻省理工学院（MIT）研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校（UCSB）博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
张朝阳“马拉松”推演“雨滴下落”物理原理
“我们今天致敬斯托克斯！”10月6日，《张朝阳的物理课》国庆特别节目开讲，搜狐董事局主席、物理学博士张朝阳硬核解构“雨滴为什么不伤人”背后的流体力学原理，并求解了被称为“数学史上最难方程之一”的纳维尔—斯托克斯方程。看似简单的生活问题背后，涉及到多个层级的数学和物理原理，课堂全程持续近5个小时，马拉
一项数学方程描述纳米泡沫表现
研究组由科学研究高等委员会(CSIC)，马德里柯米亚天主教大学(UPCO)和卡三的研究人员组成。研究通过制造并特征化一个在硅表面进行离子辐照形成的纳米泡沫得出该结论。该项研究在最新一期科学杂志《物理评论快报》Physical Review Letters发表，描述了纳米泡沫在辐照过程中产生的
构建新数学模型解析复杂疾病
原文地址：http://news.sciencenet.cn/htmlnews/2023/10/510702.shtm
美斥巨资打造国立数学研究所
近日，美国布朗大学获得了一笔由美国国家科学基金会(NSF)资助的1550万美元的经费，用于兴建一座国立数学研究机构——计算与实验数学研究所（ICEM）。该所建成后，将成为NSF资助的第8个数学研究所。 ICEM建成后，将长期开展一系列具有国际水准的科研项目，范围涵盖应用数学与经典数学
人工智能参加国际奥数仅比金牌差一分
在从围棋到战棋类游戏的所有领域战胜人类后，美国谷歌公司旗下DeepMind现在表示，它在解决数学问题方面即将击败世界顶尖学生。7月25日，DeepMind宣布，其人工智能系统已经解决了本月在英国巴斯举行的2024年国际数学奥林匹克竞赛（IMO）所出6个题目中的4个。人工智能给出了严谨、循序渐进的证明
2023年中国数学会三大数学奖揭晓
原文地址：http://news.sciencenet.cn/htmlnews/2023/12/514795.shtm中国数学会第十四次全国会员代表大会暨2023年学术年会于2023年12月23日在辽宁大连召开。开幕式上公布了2023年中国数学会华罗庚奖、陈省身奖和钟家庆奖获奖名单。袁亚湘获得第十七
生活中的数学之荧幕数学
数学作为社会生活的基本元素，不仅存在于教材中，也被不断挖掘于集时间艺术与空间艺术的复合体——影视艺术中。数学为电脑模拟真实世界提供了重要的途径，科学计算为视觉效果提供了无限可能。 美国数学家协会的数学家们曾说“特效产业是出现在数学家面前的一个令人兴奋的、全新的前沿领域，特效是数学的洞察力与电影
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
数学院等在贝叶斯模型选择渐进行为研究中取得进展
近日，中国科学院数学与系统科学研究院和英国伦敦大学科研人员合作的关于贝叶斯模型选择的渐进行为的研究成果，在线发表在PNAS上。研究表明，贝叶斯模型选择的病态渐进行为是使用贝叶斯方法进行物种进化树估计得到不合理结果的可能原因。 模型选择与假设检验是统计学中比较棘手的问题。经典统计与贝叶斯统计的处
做数学题，人工智能与人类高手不相上下
一年前，美国谷歌旗下DeepMind公司开发的人工智能问题解决器AlphaGeometry，在国际数学奥林匹克竞赛（IMO）中达到银牌选手水平，震惊了世界。IMO是为有天赋的高中生设置的难度极高的数学竞赛。DeepMind团队现在表示，系统升级后的AlphaGeometry2的性能已经超过了IMO金
数学模型如何助力人类疾病研究？
在科学研究的道路上，科学家们常常会开发多种模型来帮助研究，其中数学模型就是研究者们经常使用的一种模型，随着近年来研究的不断深入，就有研究人员开发出新型的数学模型来解析中和抗体和HIV-1之间相互作用的机制，当然除此之外，科学家们还利用数学模型对其它疾病进行了大量研究，本文中，小编盘点了近年来多篇
数学模型如何助力人类疾病研究？
在科学研究的道路上，科学家们常常会开发多种模型来帮助研究，其中数学模型就是研究者们经常使用的一种模型，随着近年来研究的不断深入，就有研究人员开发出新型的数学模型来解析中和抗体和HIV-1之间相互作用的机制，当然除此之外，科学家们还利用数学模型对其它疾病进行了大量研究，本文中，小编盘点了近年来多篇
科学家构建花序发育数学模型
近日，北京大学现代农业研究院教授焦雨铃团队等建立了一个具有普适性的花序发育数学模型，用以解释小麦、玉米、水稻及大麦等作物的穗部发育过程。相关成果发表在在《自然-植物》。花序结构决定了植物的花和种子数目，在作物中则直接影响穗粒数，是影响产量的核心要素。禾本科包含小麦、玉米、水稻等主要粮食作物，也是最大
花椰菜类几何图案数学模型出炉
据物理学家组织网近日报道，最近，一个由西班牙卡米亚斯大主教大学(UPCO)、马德里卡洛斯三世大学(UC3M)的科学家组成的研究小组，首次开发出一种表现普适机制的数学模型，能描述某些复杂自然花纹形成的规则，比如花椰菜的表面图案。相关论文发表在最近出版的《新物理学》杂志上。 该研究属于分形几何
爱情数学规律取得重大进展
长久的爱情是否存在数学公式？数十年来研究亲密关系的学者认为，情感随时间变化的轨迹或许遵循着可以用惊人精度建模的规律。里昂一大教授洛朗·皮若-芒茹及其合作者，正把恋爱关系当作动力学系统来研究——即考察情感如何演化、如何应对外部压力，并在冲击后恢复或衰退。 这一思路的数学源头出人意料地始于动物种群：马
三位科学家获2018年度邵逸夫奖
2018年度邵逸夫奖颁奖典礼26日晚在香港举行。来自法国、美国的3位科学家分获天文学、生命科学与医学、数学科学3个奖项。香港特区行政长官林郑月娥出席典礼并颁发奖项。 邵逸夫天文学奖颁予法国国家科学研究中心及法国巴黎第十一大学奥赛太空天体物理研究所研究员、欧洲太空总署普朗克计划高频仪器首席研究员
87年雅可比猜想难题终于被推翻
当无数人还沉浸在最近世界杯决赛的余兴中，数学界正酝酿另一种兴奋。在人工智能公司 Anthropic 工作的数学家 Levent Alpöge 在 X 平台随性地宣布，他借助数周前刚向公众发布的 Anthropic 大语言模型 Claude Fable 5，找到了代数几何中著名老问题“雅可比猜想”（
压缩算法为大语言模型“瘦身”
据美国科学促进会旗下网站19日报道，美国普林斯顿大学和斯坦福大学团队开发出一种新压缩算法CALDERA，能精简大型语言模型（LLM）的海量数据，为LLM“瘦身”。这项算法不仅有助保护数据隐私、节约能源、降低成本，还能推动LLM在手机和笔记本电脑上高效使用。团队举例称，当人们使用ChatGPT时，请求