留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题 闻乐 2026-05-26 16:20:39 量子位
AI1 阅读
搜索: "DeepMind"
共找到 53 篇相关文章
人类56年解不出，谷歌AI一夜连破9道世纪难题！
新智元报道【新智元导读】DeepMind发布全新数学智能体AlphaProof Nexus，9道Erdős开放难题一次性告破，最老的悬了56年！全部证明都已经过Lean编译器形式化验证，没有幻觉。网友惊呼：数学奇点的火花点燃了。数学界这个月，彻底疯了。前脚OpenAI刚把Erdős 80年猜想推翻，数学家们的惊呼声还没落地。紧接着，Google DeepMind发布了一个全新AI数学智能体——Al
科技1 阅读
一个问题几百美元，DeepMind智能体一次搞定了9个Erdős问题
机器之心编辑部又有 9 个埃尔德什（Erdős）问题被 AI 解决了，这次是 DeepMind 团队实现的。上周日，大模型科研领域再次传来里程碑事件：DeepMind 的大模型在一次「测试」中，直接解决了 9 个开放的 Erdős 问题。这次 AI 不仅自动解题，还进行了自动验证，随后其解法通过了人工审查。这次研究是数学界和 AI 界已知的首次针对开放式研究级数学问题进行的大规模形式化证明搜索评估
科技1 阅读
并购激励金都不要了？Windsurf核心工程师离开DeepMind
从 Codeium 到 Windsurf，再到 Google DeepMind 。现在，他选择离开。他叫 Ronak Malde。论名气，他还不是 AI 圈的大佬级人物，但在 AI Coding 赛道，他已是备受技术社区和 VC 圈关注的年轻一代核心工程人才。过去两年，他几乎踩中了 AI Coding 最热的一条主线：从 Codeium 起步，参与推出 Windsurf IDE，训练前沿 Agen
科技2 阅读
前DeepMind华人研究员离职喊话：AI行业所有人都搞错了方向
新智元报道【新智元导读】前谷歌DeepMind研究员离职并发表长文指出AI行业当前最被低估的瓶颈。他认为，现有的基准测试和安全评估都隐含假设下一代模型只是当前模型的增强版，但如果模型跨入全新能力区间，整个评估基础设施将悄然崩溃。AI训练，到底能持续多久？这是2026年整个科技圈都在问的问题。GPT-5.5、Claude Opus 4.7、Gemini 3、Grok 4——每一家头部实验室都还在烧钱
科技2 阅读
AlphaGo之父把AI扔进23年的人造社会：智能体3块最硬骨头全在这
新智元报道【新智元导读】从Atari到AlphaGo，从AlphaStar到SIMA，DeepMind用游戏做AI研究已走过十余年，每换一个战场，研究问题就升一个量级。这一次的战场是EVE Online：一个跑了23年、从未重置的活宇宙。DeepMind CEO、AlphaGo之父Demis Hassabis用游戏做AI研究已走过十余年。这一次，他把AI扔进了跑了23年的「活宇宙」：一款连新手引导
科技1 阅读
AI爱因斯坦快了，工业革命100倍冲击 ！Anthropic联创预言2028跨越奇点
新智元报道【新智元导读】同一周，Anthropic联创和DeepMind掌门同时预警！2028年AI递归自我改进概率超60%，2030年AGI或全面降临。100倍于工业革命的冲击波，正全速砸向全人类。刚刚，全球最顶级的两大AI实验室，同时按下了超级智能的倒计时。牛津大学讲台上，Anthropic联合创始人Jack Clark抛出了一份时间表。AI将在一年内助力人类做出诺奖级发现，完全由机器代码独立
科技1 阅读
AI爱因斯坦快了，工业革命100倍冲击！Anthropic联创预言2028跨越奇点
新智元报道【新智元导读】同一周，Anthropic联创和DeepMind掌门同时预警！2028年AI递归自我改进概率超60%，2030年AGI或全面降临。100倍于工业革命的冲击波，正全速砸向全人类。刚刚，全球最顶级的两大AI实验室，同时按下了超级智能的倒计时。牛津大学讲台上，Anthropic联合创始人Jack Clark抛出了一份时间表。AI将在一年内助力人类做出诺奖级发现，完全由机器代码独立
科技1 阅读
全网实测Gemini Omni！一句话改视频，草图变大片
新智元报道【新智元导读】过去AI视频是「生成内容」，Omni直接升级成「生成世界」。它懂动能、重力、因果，还能把复杂概念瞬间可视化。人类距离「言出法随」的梦想，还剩几个Gemini Omni的距离？酝酿许久的Gemini Omni来了，堪称视频界的Banana时刻！今日深夜Google I/O大会中，最大的主角Gemini Omni正式亮相！谷歌DeepMind豪言，Gemini Omni结合了G
科技2 阅读
苏莱曼：从DeepMind之父到业界笑柄
同样的暴论，有的大人物说，招来的是反驳；有的大人物说，招来的是嘲笑。5月中《财富》杂志扒出微软AI负责人穆斯塔法·苏莱曼今年2月的访谈，着力挖苦。苏莱曼在访谈中称“未来12-18个月内，大部分要在电脑前执行的专业任务将被AI自动完成”。《财富》杂志皮里阳秋地点评，这种话真的很像Anthropic老板阿莫迪2025年的腔调。同样的话，阿莫迪说，杨立昆会驳斥；苏莱曼说，被嘲笑成炒作都跟不上潮流。按《财
科技2 阅读
DeepMind华人研究员Lun Wang离职,评估成制约模型能力飞跃瓶颈
机器之心编辑部近日，谷歌 DeepMind 研究员 Lun Wang@lunwang1996，在 x 上发文宣布自己已经从 DeepMind 离职，结束了这段非常精彩的旅程，「我非常感谢曾经共事的人、我们一起打造的东西，以及我在将前沿 AI 研究推向生产环境过程中学到的经验。」Lun Wang 表示，在 DeepMind 的工作经历塑造了他对研究、产品、评估，以及如何真正大规模构建 AI 系统的理
科技2 阅读
谷歌安卓桌面版重构鼠标光标交互，让AI听懂“这个/那个”比划
5 月 13 日消息，在今天凌晨举办的 2026 年 The Android Show | I/O Edition 活动结束后，谷歌 DeepMind 发布博文，详细介绍了适用于 Googlebook 的 Magic Pointer 功能。定位方面，Magic Pointer 是光标交互功能，不只识别“指到了什么”，还要理解“为什么这对用户重要”。该功能的核心目标是尽量不打断原有操作流，让 AI
科技3 阅读
谷歌造出AI数学家，48%碾压全场！牛津教授用它破解60年未解之谜
新智元报道【新智元导读】谷歌DeepMind今日官宣推出「AI co-mathematician」多智能体系统，在FrontierMath Tier 4自主模式下斩获48%正确率。牛津教授借助该系统攻克Kourovka Notebook长期开放问题，AI进化为数学家的真正研究搭档。人类数学家，终于等来了自己的「超级队友」！就在刚刚，谷歌云首席科学家、DeepMind研究副总裁Pushmeet Ko
科技2 阅读
浙大校友用AI突破32年拉姆齐数下界
闻乐 发自 凹非寺量子位 | 公众号 QbitAI数学界尘封32年的拉姆齐数经典难题被打破！浙大校友王宜平借助自研AI框架ScaleAutoResearch-Ramsey，成功将拉姆齐数R(3,17)下界从92提升至93，终结了自1994年以来长期停滞的纪录。同时他还将R(4,15)下界刷新至160，成果直接超越谷歌DeepMind同期AlphaEvolve的研究水平。而且，这次世界级数学突破并没
科技4 阅读
谷歌DeepMind聘请芝大教授担任AGI经济总监：审视AI时代人的价值
新智元报道【新智元导读】DeepMind 刚上任的 AGI 经济学总监 Alex Imas 曾担忧 AI 导致失业和需求坍缩，如今提出一个谨慎乐观判断，AI 会压低可复制劳动价格，也会推高护理、教育、医疗、服务等关系型劳动的价值。专注研究 AI 对经济社会的影响的顶级学者，芝加哥大学教授 Alex Imas 加入谷歌 DeepMind 担任 AGI 经济学总监（Director of AGI Ec
科技3 阅读
诺贝尔奖得主背后的AI公司，要融136亿元造药
▲头图由AI辅助生成智东西编译 陈佳编辑 漠影智东西5月9日消息，今日，据彭博社援引知情人士报道，从谷歌母公司Alphabet旗下谷歌DeepMind分拆而出的AI药物研发公司Isomorphic Labs，正在洽谈一轮超20亿美元（约合人民币136亿元）的新融资。此轮融资仍由Thrive Capital领投，Alphabet也将参与，但融资尚未正式完成。Isomorphic于2025年3月完成首
科技3 阅读
DeepMind投资《EVE》游戏，推动AI学习“黑暗森林”理论
这是一次令人瞩目的跨界合作。本周四，Google DeepMind 宣布他们又将涉足游戏领域。这一次的目标是全球最复杂的一款：《EVE Online》。据报道，DeepMind 此次收购了《EVE Online》开发商 CCP Games 的部分股份，并表示计划利用这款游戏来研究「智能在复杂的动态系统中的表现」。这一合作正值《EVE Online》诞生 23 周年的日子。与此同时，CCP Game
科技3 阅读
人工智能巨头投资游戏企业以优化算法训练环境
近日，谷歌旗下的DeepMind宣布与知名游戏《星战前夜》的开发商Fenris Creations建立了合作关系，并进行了少数股权投资。DeepMind计划利用这款游戏复杂且由玩家主导的游戏环境来研究人工智能在多变和动态系统中的智能行为机制。值得注意的是，此次合作的具体财务细节并未对外公开。Fenris Creations首席执行官Hilmar Veigar Pétursson表示，《EVE On
科技2 阅读
高管揭秘：OpenAI深陷内部争议，公司资产遭侵蚀危机？
作者｜赵致格头图｜视觉中国在美国加州奥克兰举行的诉讼案中，特斯拉创始人马斯克于4月27日首次出庭，并对OpenAI的CEO山姆·奥特曼提出严厉指责。庭审首周结束后，这场备受瞩目的“世纪庭审”进入第二周，双方继续围绕公司早期决策和商业行为进行激烈辩论。早在2015年，鉴于谷歌DeepMind实验室可能垄断人工智能领域的担忧，马斯克与山姆·奥特曼等共同创立了非营利性质的OpenAI。在创建初期，他不仅
科技12 阅读
AI巨匠遇尴尬失误：数十页推导后才发现初始条件有误？
新智元报道Google DeepMind再次震动数学界！700个难以攻克的数学难题被Gemini系统轻松破解，令众多数学家大为震惊：这简直是颠覆了传统证明方式。数百美元的悬赏金和半个世纪无人能解的问题。20世纪杰出的「题目大师」保罗·埃尔德什留下了几百个悬赏难题，金额从50美元增加到5000美元不等。半个世纪以来，无数数学天才为此殚精竭虑，却未能领取任何奖金。现在，Google DeepMind带
科技5 阅读