留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题 闻乐 2026-05-26 16:20:39 量子位
AI1 阅读
搜索: "数学家"
共找到 18 篇相关文章
人类56年解不出，谷歌AI一夜连破9道世纪难题！
新智元报道【新智元导读】DeepMind发布全新数学智能体AlphaProof Nexus，9道Erdős开放难题一次性告破，最老的悬了56年！全部证明都已经过Lean编译器形式化验证，没有幻觉。网友惊呼：数学奇点的火花点燃了。数学界这个月，彻底疯了。前脚OpenAI刚把Erdős 80年猜想推翻，数学家们的惊呼声还没落地。紧接着，Google DeepMind发布了一个全新AI数学智能体——Al
科技1 阅读
AI首次证明数学核心猜想：80年的经典难题，被OpenAI搞定了
机器之心编辑部我们正在进入科学的黄金时代？本周四，OpenAI 宣布用 AI 大模型推翻了离散几何学中的一个核心猜想：如果你在平面上放置 n 个点，有多少对点之间的距离恰好为 1？「Erdős 单位距离问题」（Erdős Unit Distance Problem）是组合几何中最著名的经典难题之一，由数学家保罗・埃尔德什（Paul Erdős）于 1946 年提出。近 80 年来，数学家们认为最佳
科技1 阅读
智谱唐杰：80年历史的计算机架构都要被AI颠覆 未来不再传统桌面
快科技5月13日消息，1946年ENIAC成为全球第一台电子计算机，美籍匈牙利数学家：冯.诺依曼提出的存储程序奠定了80年来计算机的基础架构，然而在AI时代这些都有可能被颠覆，OS操作系统也一样。智谱创始人、首席科学家唐杰日前在网上发表了他的感想，谈到了AI大模型的发展，表示今年大模型最有可能突破的地方是长期任务（Long-Horizon Tasks），AI智能体能不能持续运行以完成复杂目标。基于
科技2 阅读
谷歌造出AI数学家，48%碾压全场！牛津教授用它破解60年未解之谜
新智元报道【新智元导读】谷歌DeepMind今日官宣推出「AI co-mathematician」多智能体系统，在FrontierMath Tier 4自主模式下斩获48%正确率。牛津教授借助该系统攻克Kourovka Notebook长期开放问题，AI进化为数学家的真正研究搭档。人类数学家，终于等来了自己的「超级队友」！就在刚刚，谷歌云首席科学家、DeepMind研究副总裁Pushmeet Ko
科技2 阅读
谷歌「AI联合数学家」来了！刷新最难数学AI基准SOTA，牛津教授用它解开群论悬案
谷歌「AI联合数学家」来了！刷新最难数学AI基准SOTA，牛津教授用它解开群论悬案 听雨 2026-05-09 15:12:48 量子位
AI2 阅读
数学天才陶哲轩推荐Claude Code：借助AI十五分钟搞定审稿难题
数学家陶哲轩最近在社交媒体上推荐了一款名为Claude Code的AI工具，称其能够高效处理审稿意见。 鹭羽 2026-05-06 16:11:51 量子位
AI3 阅读
AI巨匠遇尴尬失误：数十页推导后才发现初始条件有误？
新智元报道Google DeepMind再次震动数学界！700个难以攻克的数学难题被Gemini系统轻松破解，令众多数学家大为震惊：这简直是颠覆了传统证明方式。数百美元的悬赏金和半个世纪无人能解的问题。20世纪杰出的「题目大师」保罗·埃尔德什留下了几百个悬赏难题，金额从50美元增加到5000美元不等。半个世纪以来，无数数学天才为此殚精竭虑，却未能领取任何奖金。现在，Google DeepMind带
科技5 阅读
年轻程序员利用ChatGPT破解六十年数学难题，陶哲轩称传统方法误入歧途
新智元报道经过七年的专业研究，一个没有任何高等数学背景的年轻人大放异彩。年仅二十四岁的Liam Price，只通过一段提示语便使ChatGPT在短短八十分钟内破解了一个困扰数学界长达六十年的重大猜想。一位著名的数学家陶哲轩评论说：“我们一开始就走错了方向。”这位年轻人并未接受过任何高等数学教育，在没有任何预设研究的情况下，仅凭直觉和简单的描述引导ChatGPT找到答案。在查看了这个证明后，陶哲轩坦
科技15 阅读
全球逾两千名人士倡议国际数学会议移师海外，北大清华教授联名声援，加拿大华裔博士表态加入支持行列
极目新闻记者 詹钘最近，有关2026年国际数学家大会（ICM）选址问题的争议日益加剧，超过两千名学者联署了一份公开声明，呼吁将本次会议移出美国。4月4日，在加拿大留学的中国学生Roselle在接受采访时透露，这份请愿书的一位发起人Ila Varma是她所在学校的教授，并且两人曾有过多次交流。目前已有两千多名学者联名签署了一份公开声明，呼吁将此次大会迁出美国境内。据悉，在今年三月中旬左右，一份要求将
国际3 阅读
王虹博士斩获殊荣：35岁的她成纽约大学“银教授”，创佳绩
极目新闻记者 郭迩美国纽约大学柯朗数学科学研究所近日宣布，中国数学家王虹荣获该校“银教授”称号，这是该机构授予的最高荣誉之一。在傅里叶分析和几何测度论领域，王虹被视为领军人物。她因成功解决卡凯亚猜想而闻名于世，这一成就为调和分析与几何学带来了突破性进展。纽约大学“银教授”是学校授予教师的最高荣誉之一，旨在表彰学者在学术研究及本科教育方面的杰出贡献。据悉，王虹出生于广西壮族自治区桂林市，是一位年轻的
国内3 阅读
数学家惊了！ChatGPT首次原创独立证明数学假设
快科技3月31日消息，近日，比利时布鲁塞尔自由大学（VUB）数据分析实验室发布重磅研究成果，证实商用大型语言模型已具备独立生成原创数学证明的能力。OpenAI旗下ChatGPT-5.2(Thinking)成功破解了一项此前悬而未决的数学猜想，同时催生了名为“vibe-proving”的全新AI推理方法，相关预印本论文已于2026年2月21日发表在arXiv平台。此次研究聚焦的核心命题，是数学家Ra
科技3 阅读
数学天才陶哲轩自述：普林斯顿一年经历险些耗尽灵感
在最近的一次播客访谈中，著名的数学家陶哲轩谈到了人工智能（AI）如何影响数学研究。他分享了自己对这个主题的见解，同时也展望了未来的发展趋势。他指出，AI已经开始在数学研究中发挥重要作用，尤其是在处理繁琐计算和数据整理方面。然而，他认为AI尚未达到可以独立完成前沿数学研究的水平。陶哲轩提到，AI目前在某些任务上表现出色，而在其他任务上则不尽如人意。因此，当前的AI更多是与人类数学家合作，而不是取代他
科技4 阅读
数学天才陶哲轩的普林斯顿一年：险些才思枯竭
本文探讨了AI在数学领域的应用及其对数学研究的影响。AI的快速发展正在改变数学研究的方式，使得一些繁琐的任务得以自动化。然而，AI是否能够完全取代顶尖数学家仍是一个值得讨论的问题。 Jay 2026-03-23 18:22:44 量
AI3 阅读
量子物理学家首获图灵奖，计算科学领域百年惯例被改写
今年，计算机界的顶级奖项图灵奖已揭晓，美国物理学家查尔斯·贝内特和加拿大计算机科学家吉勒·布拉萨德因其杰出贡献而共同获得此荣誉。这项决定打破了长达六十年的传统惯例。图灵奖，以英国数学家图灵命名，被誉为计算领域的诺贝尔奖，奖金由谷歌赞助100万美元。在过去几十年里，该奖项曾授予过编程语言的创始人、人工智能的先锋以及互联网架构的设计者。然而，这次的获奖者却因与量子物理直接相关的研究而首次赢得这一殊荣。
科技5 阅读
量子信息科学先驱荣获2025年图灵奖
机器之心编辑部美国计算机学会（ACM）近期宣布，2025 年的 ACM A.M. 图灵奖授予了 Charles H. Bennett 和 Gilles Brassard，以表彰他们在量子信息科学基础理论的开创性贡献以及在安全通信和计算领域的革新。该奖项素有“计算机界的诺贝尔奖”之称，奖金高达 100 万美元，由谷歌公司提供资金支持。奖项名称源自英国数学家 Alan M. Turing，他奠定了计算
科技5 阅读
数学天才陶哲轩遭遇Claude挑战，详尽操作指南助其逆转局势
新智元报道全球知名数学家陶哲轩亲身经历了一场与AI的较量，他的实验警告人们：技术越先进，人类就越不能放松警惕。在一次长达45分钟的操作后，电脑因过度计算而直接死机了。世界顶尖数学家陶哲轩在测试一种最新的AI编程工具时遇到了一个令人惊讶的问题。几个月前，他在视频中展示了如何将复杂的数学证明进行形式化处理。然而在九个月后，面对备受推崇的新一代AI助手Claude Code，他原本以为这会是一次轻松的胜
科技4 阅读
AI助力破解首项菲尔兹奖难题，短短两周生成二十万行代码，数学界震撼不已
新智元报道数学界迎来了一场前所未有的变革，顶尖数学家难以推进的证明问题被AI解决了，连菲尔兹奖得主也不可避免地受到了质疑。AI在数学领域引发了一场风暴，它对传统研究方式构成了挑战。在短短五天内，AI就完成了人类历时十五个月才能完成的工作。Viazovska提出的关于8维和24维球填充问题的证明被转换成近二十万行Lean代码，效率惊人地提升了九十多倍。人类智慧与AI技术之间的较量似乎已经分出了胜负，
科技6 阅读