研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，模型成功找到了一个反例——一种更复杂的排列方式，使得等距点对数量的增长速率实际上大于埃尔德什的预测，从而推翻了这一猜想。OpenAI研究员Sébastien Bubeck透露，团队在同一模型上多次运行该提示词，正确解答的成功率约为50%。这标志着AI在数学研究中的能力已达到显著水平，尽管该证明并非天才般的灵感迸发，而是依靠坚持不懈的搜索策略。AI模型通过尝试大量不太可能的策略组合，最终找到了代数和数论这两个最古老、最基础的数学领域中的工具，将其应用于这一几何问题。实验设计：通用大语言模型的数学推理能力产生这一结果的AI模型目前尚未公开......阅读全文
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
来自俄罗斯的声音：寻求中俄两国科学领域的协同发展
《中国科学报》记者计红梅9月24日至26日，2024 CCF全国高性能计算学术年会（CCF HPC China 2024）在湖北省武汉市举行。俄罗斯科学院院士、马尔丘克数值数学研究所所长叶夫根尼·季尔季什尼科夫（Evgeny Tyrtyshnikov）参加了本次年会。据悉，叶夫根尼·季尔季什尼科夫曾
AI首次创建高效准确数学算法
英国《自然》杂志封面以“矩阵游戏”为题，发表了人工智能（AI）公司“深度思维”团队的最新发现：AI可解决矩阵乘法问题。这是第一个可为矩阵乘法等基本任务发现新颖、高效且正确算法的AI系统。换句话说，这个名为“AlphaTensor”的AI能自行发现新算法，从而解决了50年来数学领域一个悬而未决的问
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
丘成桐：加强科技领域的国际合作，比以往任何时候都更加重要
7月13日，2025国际基础科学大会在北京国家会议中心开幕。丘成桐、姚期智等4位菲尔兹奖得主、3位诺贝尔奖得主、2位图灵奖得主、80余位中外院士、近千名国内外专家学者参会。大会将举办500余场学术报告及卫星会议，围绕数学、物理、信息科学和工程三大领域分享前沿成果，推动多学科协同创新。大会主席丘成桐致
美国数学协会悬赏100万美元求解决比尔猜想
据美媒体6月5日报道，为了能解开自上世纪80年代来一直困扰数学家的一道数学难题，美国得克萨斯州一名银行家将悬赏金额提至100万美元。 4日，总部位于美国罗德岛的宣布，任何人只要能给出比尔猜想（）数字理论的解决方案，提出这一猜想的得州银行家D·安德鲁·比尔就会奖励给这个人100万美元。
数学院等在Demailly强开性猜想研究中取得进展
近日，中国科学院数学与系统科学研究院研究员、中国科学院院士周向宇与北京大学数学科学学院副教授关启安合作的论文《Demailly强开性猜想的一个证明》（A proof of Demailly’s strong openness conjecture）被国际数学期刊Ann. of Math.接受发表
人工智能帮助数学家发现新的猜想和定理
中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称，科研人员研发出一个机器学习框架，能帮助数学家发现新的猜想和定理。 该机器学习框架由知名人工智能(AI)企业DeepMind开发，已经帮助发现了不同纯数学领域的两个新猜想，这项研究展示出机器
生活中的数学之荧幕数学
数学作为社会生活的基本元素，不仅存在于教材中，也被不断挖掘于集时间艺术与空间艺术的复合体——影视艺术中。数学为电脑模拟真实世界提供了重要的途径，科学计算为视觉效果提供了无限可能。 美国数学家协会的数学家们曾说“特效产业是出现在数学家面前的一个令人兴奋的、全新的前沿领域，特效是数学的洞察力与电影
助手还是对手？AI工具将如何改变数学领域
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494250.shtm ChatGPT的横空出世让人们对聊天机器人的兴趣如野火般蔓延，数学家们开始探索人工智能（AI）如何帮助他们完成工作。英国《自然》杂志网站在2月17日的报道中指出，机器学习等AI工
菲尔兹奖得主：AI不能完全取代数学家的工作
7月25日，第七期“浦江科学大师讲坛”在复旦大学相辉堂举行，菲尔茨奖得主、中国科学院外籍院士安德烈·奥昆科夫（Andrei Okounkov）以“表示论的源头与硕果”为主题，分享了他在数学领域的独到见解。安德烈·奥昆科夫。图片由复旦大学提供奥昆科夫是当代最杰出的数学家之一，他解决了多个重要猜想和重大
菲尔兹奖得主：AI不能完全取代数学家的工作
7月25日，第七期“浦江科学大师讲坛”在复旦大学相辉堂举行，菲尔茨奖得主、中国科学院外籍院士安德烈·奥昆科夫（Andrei Okounkov）以“表示论的源头与硕果”为主题，分享了他在数学领域的独到见解。安德烈·奥昆科夫。图片由复旦大学提供 奥昆科夫是当代最杰出的数学家之一，他解决了多个重要猜
比利时数学家德利涅获2013年度阿贝尔数学奖
挪威科学与文学院3月20日宣布，将2013年度的阿贝尔数学奖授予比利时数学家皮埃尔·德利涅。 挪威科学与文学院在颁奖词中说，挪威科学与文学院已决定将2013年阿贝尔数学奖授予德利涅，“以嘉奖其对代数几何的开创性贡献及其对‘数论’、‘表示论’及相关领域的‘变革性’影响”。 颁奖词说，德
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
科学家设置数学测试新基准，难倒AI
下棋、写诗、绘画……人工智能（AI）似乎越来越“多才多艺”，就连数学似乎都难不倒它。大语言模型（LLM），如OpenAI的ChatGPT，几乎在每一次数学测试中都表现良好。不过，此前AI几乎没有触及数学领域的前沿研究，并不能反映其真正的数学能力。近日，一项在预印本平台公布的研究中，美国技术研究机构E
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
沈维孝谈数学：几乎每一天都会遭遇挫败感
原文地址：http://news.sciencenet.cn/htmlnews/2023/12/514834.shtm ?沈维孝，1975年5月生。今年11月新当选中国科学院院士。他是复旦大学数学科学学院教授、副院长，上海数学中心首席教授、副主任，数学中心动力系统科研团队带头人，复旦大学
学者发布无机材料AI模型，推理能力到达新高度
松山湖材料实验室研究员孟胜/刘淼团队在国家自然科学基金等项目的支持下，研发了一种基于深度学习图结构的通用预训练力场（graph-based pre-trained transformer force field，简称GPTFF）。相关成果近日发表于《科学通报（英文版）》（Science Bullet
吴文俊：中国正从数学大国走向数学强国
中国科学院院士、数学泰斗吴文俊十一月二日在北京表示，经过七十多年发展，中国数学事业已今非昔比，中国正在从数学大国走向数学强国。 中国数学会第十次全国代表大会暨二○○七学术年会当日在北京开幕，吴文俊致辞时作上述表示。他希望年轻的数学家不断努力，使中国数学发展像“嫦娥”奔月一样，奔向数学强国。 另一位知
荐书－|－两位数学家如何保持37年的合作
“数学文化览胜集”（共四册），李国伟著，高等教育出版社2024年3月出版李国伟是中国台湾的组合数学家，研究兴趣旁及数学哲学、数学史以及科学文化。最近他的新著“数学文化览胜集”系列出版，《人物篇》《历史篇》《艺数篇》《教育篇》四篇各自单独成册，洋洋大观，别开生面，显示了作者扎实的数学训练基础、深厚的人
人工智能“进军”数学领域－首次帮助人类发现两个新猜想
英国《自然》杂志1日发表了一个机器学习框架，能帮助数学家发现新的猜想和定理。该框架由深度思维（DeepMind）开发，已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中，支持数学研究。这也是计算机科学家和数学家首次使用人工智能（AI）来帮助证明或提出纽结理论和表
科学家数学评估埃博拉病毒传播率及趋势
科学家数学评估埃博拉病毒传播率及趋势 北京时间25日消息，据国外媒体报道，自此次非洲埃博拉病毒疫情爆发以来，已导致非洲利比里亚等多个国家两千多人死亡，引起了全世界对非洲疫情及病毒传染性的关注与警惕。日本东京大学和美国亚利桑那州立大学科学家近日在《欧洲监测》期刊上发表论文称，研究人员可通过数学的方法
数学家试图借数学模型揭示肥胖之谜
肥胖研究似乎不属于数学范畴，但美国俄亥俄州立大学数学研究人员侯赛因·焦什昆不这样认为。他带领一个研究团队，试图借数学模型揭示脂肪细胞形成的过程并解开肥胖之谜。筛选 焦什昆阅读大量与前脂肪细胞转变为脂肪细胞相关的学术文章后，找出16种在这个转变过程中看起来最活跃的蛋白质，从中
《数学大师》：华罗庚先生从事应用数学事业的点滴回忆
《贴近人民的数学大师》，徐伟宣主编，科学出版社2010年10月出版，定价：50.00元 华罗庚教授是享誉世界的数学家，他的成就遍及数学很多重要领域。他把数学方法创造性地应用于国民经济领域，取得了显著的社会与经济效益，被誉为“卓越的人民数学家”。 11月12日是华罗庚教授诞
数学物理学部举行学术报告会
5月31日，第六届学部学术年会数学物理学部学术报告会举行，重点邀请了2017年当选的数理领域院士和外籍院士作学术前沿报告。报告会由中科院院士马志明和孙昌璞主持。 在上午举行的报告会中，中科院院士陈志明作了题为《电磁场模拟和反演的计算方法》的报告，分别介绍了Maxwell方程的有限元后验误差估计
AI会做奥林匹克数学题，成绩接近“金牌选手”
原文地址：http://news.sciencenet.cn/htmlnews/2024/1/516239.shtm
谷歌推出两大数学模型，19秒解开IMO2024几何问题
·六道题每题可得7分，总分最高42分。谷歌DeepMind的人工智能系统在今年国际数学奥林匹克竞赛中最终得分28分。今年金牌的门槛是29分，在正式比赛的609名选手中，58名达到了这一门槛。·DeepMind表示，尽管基于自然语言的方法可以访问更多数据，但会产生看似合理但不正确的中间推理步骤和解决方
数学可以很“好玩”！
斐波那契数列、密铺问题、三角形数结合、九连环……一个个晦涩难懂地数学问题通过五彩斑斓的“积木”变得好玩、直观和立体。5月18日，在中国科学院数学与系统科学研究院“第二十届公众科学日”活动现场，聚集了不少小朋友，他们坐在地上或三两成群，探索着数学科学世界的美妙。今年活动的主题是 “砥砺二十载·科学新征