谷歌DeepMind团队近日正式推出了全新的AI框架“AlphaProof Nexus”。该系统凭借强大的人工智能推理与形式化验证能力，在数学研究领域取得了里程碑式的突破，成功解开了两道已悬而未决长达 56 年的Erdős（埃尔德什）数学难题。
AlphaProof Nexus在架构设计上极具创新，由 4 个复杂度递增的AI智能体组合而成。系统从最基础的Gemini模型与Lean编译器循环交互开始，逐步引入代码补全片段机制和类似AlphaEvolve的进化机制，最终通过功能最完整的智能体实现多个证明草稿的共享、评分与排序。
在针对 353 个开放的Erdős问题进行的自主测试中，该系统不仅成功解决了 9 个问题，还顺带证明了整数序列在线百科全书中的 44 个开放猜想。令人惊叹的是，AlphaProof Nexus完成单个复杂问题的推理成本仅仅需要数百美元。
除了在组合数学、数论等领域斩获颇丰，该系统还成功解决了一个存在 15 年的Hilbert函数问题，并显著改进了凸优化中的已知界限。研究团队在分析实验数据时发现，即使是最简单的基础智能体，在强大的Lean编译器反馈“锚定”作用下，也能成功攻克部分难题。
这一发现表明，底层模型能力的持续提升与严格的代码形式化验证相结合，正在为AI注入逻辑严密的数学直觉。谷歌此次的技术飞跃，不仅标志着AI驱动的科学发现迈向新高度，也预示着人类正迎来与AI深度协作攻克科学禁区的新时代。
谷歌在2026年I/O大会推出“按算力计费”新规，遭全球付费用户强烈反对。Reddit、X等平台被吐槽淹没，程序员和创作者称其为“抢钱”，工作一两个小时或聊天历史稍长，便触发5小时冷却。
谷歌I/O大会上，DeepMind CEO哈萨比斯反对“AI取代程序员”论调，认为这是缺乏想象力的表现。他强调，AI提升生产力不应成为裁员借口，技术进步应赋能人类而非替代岗位。
Google DeepMind收购《EVE Online》开发商CCP Games少数股权，将其虚拟世界纳入AI测试体系。CCP Games以1.2亿美元从韩国Pearl Abyss回购自身并更名为Fenris Creations，交易价格较2018年估值大幅缩水。此次合作旨在为通用人工智能（AGI）提供沙箱环境。
谷歌DeepMind CEO德米斯·哈萨比斯4月27日访韩，行程密集、规格高，先后与韩国总统及三星、LG、现代等企业高层会晤，聚焦AI战略合作。核心目标是将AI技术从云端延伸至终端设备，推动DeepMind在终端领域的布局。
韩国政府与谷歌旗下DeepMind签署合作备忘录，聚焦AI联合研究、人才培养及负责任使用。核心是5月启动的国家科学AI研究中心，旨在推动生物、气象、气候等八大领域技术突破。
关注 “悠AI” 更多干货技巧行业动态
相关文章
