为何AI破解数学猜想引发关注？
上周，OpenAI震动数学界：它披露旗下一个内部人工智能模型，找到了传奇匈牙利数学家保罗·埃尔德什（Paul Erdős）1946年提出著名猜想的反例。这个“平面单位距离问题”（埃尔德什第90号问题）困扰数学家数十年。加拿大数学家丹尼尔·利特（Daniel Litt）称其为“第一个由AI自主产出、且让我本身觉得有趣的结果”。 这一突破由通用AI模型（而非专为数学设计的模型）取得，也凸显AI正在如何改变数学研究本身。在OpenAI论文发布数日后，美国数学家威尔·萨温（Will Sawin）沿同一思路得到改进结果；同样在上周，谷歌DeepMind的一个团队用自家模型解决了埃尔德什留下的九个较小的开放问题。与此同时，这类结果也让我们看清：当前AI擅长哪类数学，能力边界又在哪里。 埃尔德什是二十世纪最高产的数学家之一，以提出“看似简单、解法却常需数十年”的问题著称。该问题直观表述为：在无限大纸上画n个点，随意排布，最多有多少对点之间恰......阅读全文
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
为何AI破解数学猜想引发关注？
上周，OpenAI震动数学界：它披露旗下一个内部人工智能模型，找到了传奇匈牙利数学家保罗·埃尔德什（Paul Erdős）1946年提出著名猜想的反例。这个“平面单位距离问题”（埃尔德什第90号问题）困扰数学家数十年。加拿大数学家丹尼尔·利特（Daniel Litt）称其为“第一个由AI自主产出、
AI接连推翻数学猜想，人类还能守住菲尔兹奖吗？
“本届菲尔兹奖，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、邓煜历史性拿下菲尔兹奖的时候，大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，继丘成桐后第二位获菲尔兹奖的华裔数学家陶哲轩当众敲响百年警钟：AI正在引爆数学界前所未有的“
人工智能帮助数学家发现新的猜想和定理
中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称，科研人员研发出一个机器学习框架，能帮助数学家发现新的猜想和定理。 该机器学习框架由知名人工智能(AI)企业DeepMind开发，已经帮助发现了不同纯数学领域的两个新猜想，这项研究展示出机器
来自俄罗斯的声音：寻求中俄两国科学领域的协同发展
《中国科学报》记者计红梅9月24日至26日，2024 CCF全国高性能计算学术年会（CCF HPC China 2024）在湖北省武汉市举行。俄罗斯科学院院士、马尔丘克数值数学研究所所长叶夫根尼·季尔季什尼科夫（Evgeny Tyrtyshnikov）参加了本次年会。据悉，叶夫根尼·季尔季什尼科夫曾
人工智能“进军”数学领域－首次帮助人类发现两个新猜想
英国《自然》杂志1日发表了一个机器学习框架，能帮助数学家发现新的猜想和定理。该框架由深度思维（DeepMind）开发，已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中，支持数学研究。这也是计算机科学家和数学家首次使用人工智能（AI）来帮助证明或提出纽结理论和表
数学院等在Demailly强开性猜想研究中取得进展
近日，中国科学院数学与系统科学研究院研究员、中国科学院院士周向宇与北京大学数学科学学院副教授关启安合作的论文《Demailly强开性猜想的一个证明》（A proof of Demailly’s strong openness conjecture）被国际数学期刊Ann. of Math.接受发表
比利时数学家德利涅获2013年度阿贝尔数学奖
挪威科学与文学院3月20日宣布，将2013年度的阿贝尔数学奖授予比利时数学家皮埃尔·德利涅。 挪威科学与文学院在颁奖词中说，挪威科学与文学院已决定将2013年阿贝尔数学奖授予德利涅，“以嘉奖其对代数几何的开创性贡献及其对‘数论’、‘表示论’及相关领域的‘变革性’影响”。 颁奖词说，德
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
荐书－|－两位数学家如何保持37年的合作
“数学文化览胜集”（共四册），李国伟著，高等教育出版社2024年3月出版李国伟是中国台湾的组合数学家，研究兴趣旁及数学哲学、数学史以及科学文化。最近他的新著“数学文化览胜集”系列出版，《人物篇》《历史篇》《艺数篇》《教育篇》四篇各自单独成册，洋洋大观，别开生面，显示了作者扎实的数学训练基础、深厚的人
助手还是对手？AI工具将如何改变数学领域
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494250.shtm ChatGPT的横空出世让人们对聊天机器人的兴趣如野火般蔓延，数学家们开始探索人工智能（AI）如何帮助他们完成工作。英国《自然》杂志网站在2月17日的报道中指出，机器学习等AI工
30岁就被学界内定：这位天才有望统一代数与几何
当小明的年龄是小红的两倍时，他正好跟小刚同年，那么当小刚的年龄是小明现在的两倍时，小红会是现在的自己年龄的几倍？ 或者试试这个问题：两名农场主同时继承了一块正方形土地，其中包含了一片圆形耕地。在不知道土地和耕地具体尺寸，或者不知道圆形耕地具体位置的前提下，如何用一条直线将两者精确地一分为二？
为何2026年菲尔兹奖引发全球数学界关注？
问题提出：流体如何做到宏观连续、微观却混沌？一根在空中旋转的铅笔怎样扫过最小空间？打结的绳子怎样被严谨区分？这些看似朴素、却困扰数学界数十年的难题，正是 2026 年菲尔兹奖破解的核心对象，也重新点燃了公众对纯粹数学的好奇。 在费城召开的国际数学家大会上，有"数学界诺贝尔奖"之称的菲尔兹奖揭晓，四
南开大学讲席教授获国际数学界重量级荣誉
近日，美国克雷数学研究所在其官网上公布了2026年克雷研究奖获奖名单。南开大学陈省身数学研究所讲席教授Joshua Zahl名列其中。这是克雷研究奖首次授予在中国全职工作的数学家。Joshua Zahl 南开大学供图克雷研究奖由克雷数学研究所设立，旨在表彰全球最具天赋的数学家所取得的杰出成就。该奖
中国科大在偏微分方程和复几何领域取得重要突破
近日，中国科学技术大学几何与物理研究中心创始主任陈秀雄在偏微分方程和复几何领域取得重要“里程碑式结果”。他与合作者程经睿完成的关于一类四阶完全非线性椭圆方程的先验估计和凯勒流形上有关卡拉比极值度量若干著名猜想的两篇论文先后发表在国际著名杂志Journal of American Mathemat
青年数学家王虹斩获两项世界级大奖
据美国普林斯顿高等研究院官网28日消息，34岁的中国青年数学家王虹荣获2025塞勒姆奖。该奖被视为数学界最高奖项——菲尔兹奖的风向标。值得一提的是，就在此前一天，王虹还斩获了第十届世界华人数学家大会（ICCM）数学奖金奖。ICCM有“华人数学界菲尔兹奖”的美誉，与菲尔兹奖一样，该奖项只授予45岁
困扰数学家25年的“切苹果”难题，被一位华人博士解决了
请听题：如何将苹果平均一分为二，还能保证它长时间的新鲜？ 这是一个严肃的科学问题，已经困扰了人类数学家 25 年之久。根据常识，就是要保证果肉暴露在外面的面积最小，也就是切片的面积最小。如果跨越到更高的维度，是否依然成立？这就是 1995 年，由三位数学家提出的一个几何学猜想。 现在，这
ChatGPT涉嫌侵权？普利策奖得主提起诉讼
原文地址：http://news.sciencenet.cn/htmlnews/2023/9/508358.shtm 中新网9月12日电 据路透社报道，包括普利策小说奖得主迈克尔·夏邦(Michael Chabon)在内的几名美国作家，日前在旧金山联邦法院起诉美国人工智能公司OpenAI，指控其
美国数学协会悬赏100万美元求解决比尔猜想
据美媒体6月5日报道，为了能解开自上世纪80年代来一直困扰数学家的一道数学难题，美国得克萨斯州一名银行家将悬赏金额提至100万美元。 4日，总部位于美国罗德岛的宣布，任何人只要能给出比尔猜想（）数字理论的解决方案，提出这一猜想的得州银行家D·安德鲁·比尔就会奖励给这个人100万美元。
多国研究团队宣称罗塔猜测已被证明－震惊数学界
一个由新西兰维多利亚大学数学家杰夫·惠特尔、加拿大滑铁卢大学数学家吉姆·吉伦和荷兰马斯特里赫特大学数学家伯特·杰拉德斯组成的研究团队日前宣称：他们经过15年的艰辛努力，终于找到了所有的必要的证据去证明著名的罗塔猜测。此消息一出，震惊数学界。 罗塔猜测是美国数学家和哲学家吉安-卡洛·罗塔19
“2023年科学突破奖”获奖名单揭晓
9月23日，“2023年科学突破奖”获奖名单公布，奖项分别授予了生命科学、基础物理学、数学领域的5个研究项目，共有11位科学家获奖。 “科学突破奖”被誉为“科学界的奥斯卡”，此次主要奖励在蛋白结构预测、细胞组织机制以及量子信息领域做出开创性贡献的学者，共计颁发出奖金1575万美元。 据“科学
AI未来或超越最聪明的人？专家谈发展如何兼顾公平
中新社北京4月11日电 (记者 马帅莎)到明年底或2026年，人工智能(AI)或超越“最聪明的人”，美国知名企业家埃隆·马斯克近日对人工智能的这一大胆猜想引起关注，这比他去年预测的2029年这一时间点提前不少。对于人工智能何时将超越人类智力，业内一直有不同看法。相比马斯克的乐观预测，不少专家认为这一
科学家设置数学测试新基准，难倒AI
下棋、写诗、绘画……人工智能（AI）似乎越来越“多才多艺”，就连数学似乎都难不倒它。大语言模型（LLM），如OpenAI的ChatGPT，几乎在每一次数学测试中都表现良好。不过，此前AI几乎没有触及数学领域的前沿研究，并不能反映其真正的数学能力。近日，一项在预印本平台公布的研究中，美国技术研究机构E
多国要调查ChatGPT－，TA碰了什么红线
原文地址：http://news.sciencenet.cn/htmlnews/2023/4/498038.shtm 中新网4月8日电 (中新财经 彭婧如)从全球爆火到被多国“围堵”，ChatGPT只用了两个月的时间。据外媒报道，近日，德国联邦数据保护专员乌尔里希·凯尔伯(Ulrich Kelb
丘成桐谈基础科学教育：试错让我接近正确方向
原文地址：http://news.sciencenet.cn/htmlnews/2023/7/505560.shtm“试错的阶段对我而言是至关重要的，就是这些小挫折、错误让我慢慢地接近了正确的方向，也让我更加坚定。”在近日举办的国际基础科学大会上，著名数学家、清华大学讲席教授丘成桐分享他的“成名作”
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
丘成桐谈基础科学教育：试错让我接近正确方向
“试错的阶段对我而言是至关重要的，就是这些小挫折、错误让我慢慢地接近了正确的方向，也让我更加坚定。”在近日举办的国际基础科学大会上，著名数学家、清华大学讲席教授丘成桐分享他的“成名作”——证明卡拉比猜想的历程时说。 面对着学生和青年学者，丘成桐鼓励道，你们的抱负还可以大一些，勇于挑战看起来不可
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
今年“复旦中植科学奖”花落这两位数学家
近日，第六届“复旦-中植科学奖”颁奖典礼暨2021复旦科技创新论坛在上海举行。来自世界各地的科研领军人物和青年创新人才线上线下齐聚一堂，共襄盛会，论道科技前沿与创新趋势。美国国家科学院院士、美国艺术与科学院院士本尼迪克特·格罗斯（Benedict Hyman Gross），美国国家科学院院士、荷兰皇
OpenAI最新模型o3展现强大推理能力
12月20日，美国开放人工智能研究中心（OpenAI）介绍了其最新的人工智能（AI）推理模型——o3及其轻量版o3-mini。该公司宣称，o3具备更先进、近似人类的推理能力，在代码编写、数学竞赛和掌握人类博士级别的科学知识等方面，均超越了其“前辈”o1。 不过，英国《新科学家》网站在12月22