现在的 AI（比如 ChatGPT 或 Claude）非常聪明。你能让它写诗、写代码，甚至用苏格拉底的风格和你辩论。但是，如果你问它一个尚未解决的科学难题，或者让它证明一个复杂的数学定理，事情往往会变得很尴尬——它可能会一本正经地胡说八道（我们称之为“幻觉”）。

这就像你雇佣了一个才华横溢但不太靠谱的实习生：他脑子里充满了疯狂的点子，但他给出的事实往往需要你一个个去核实。

那么，问题来了：我们能否保留 AI 惊人的“创造力”，同时过滤掉它的“胡说八道”，让它真正帮助人类发现未知的科学真理？

今天要介绍的，就是 Google DeepMind 发表在《Nature》上的一项突破性工作——

。它不仅做到了这一点，还解决了一个困扰数学家 20 年的难题。

为什么这很难？（从“黑盒”到“白盒”的挑战）

在 FunSearch 出现之前，用 AI 做数学发现主要面临两个巨大的拦路虎：

科学家们真正想要的，不是一条死板的“答案”，而是一把能解开谜题的“钥匙”。

核心洞察：不要寻找“金子”，要寻找“点金术”

DeepMind 团队做出了一个极其精彩的思维转换，这也是这篇论文最性感的地方。

与其让 AI 直接去搜索那个复杂的数学答案（Solution），不如让 AI 去写一段能生成答案的代码（Program）。

让我给你讲个故事来解释这其中的区别：

FunSearch（Function Search）的名字由此而来：在函数空间中寻找真理。

它是如何工作的？（一个永不疲倦的进化工厂）

FunSearch 把大语言模型（LLM）变成了一个不知疲倦的“进化者”。整个过程像极了生物进化论：

在这个循环中，LLM 即使 90% 的时间都在产生“幻觉”也无所谓，只要它偶尔有一次灵光一现，这个系统就能捕捉到，并将其固化为人类知识。

震撼的战绩：当 AI 教会人类新知识

这不是纸上谈兵，FunSearch 实打实地拿下了两个硬骨头：

故事一：破解“顶盖集”之谜（The Cap Set Problem）

这是一个极其抽象的几何问题，就连菲尔兹奖得主陶哲轩都称其为他最喜欢的开放问题之一。简单来说，它要求你在高维空间里找尽可能多的点，还要保证没三个点连成一条线。

随着维度增加，这个问题的难度呈指数级爆炸。过去 20 年，人类在 

 这个维度上一直卡在 496 个点这个记录上。

 它没有直接给出点的坐标，而是写出了一段仅仅几行的 Python 代码。运行这段代码，它吐出了一个包含 

：因为 FunSearch 给的是代码，数学家们可以像读文章一样去读它。他们惊讶地发现，AI 在代码中利用了一种人类从未注意到的“对称性”。这种洞察力让数学家们如获至宝，他们甚至在 AI 的启发下，手动推导出了更多新的数学定理。

故事二：装箱问题（The Bin Packing Problem）

这是各种物流、云计算公司的噩梦：如何把大小不一的包裹塞进最少的箱子里？

传统的算法要么太慢，要么不够聪明。FunSearch 生成了一个非常反直觉的算法。普通的算法会尽量把箱子填满（贪心策略），但 FunSearch 写出的代码在某些情况下会

事实证明，这种策略在处理后续涌入的包裹时更加灵活，最终使用的箱子总数更少。AI 学会了一种人类直觉之外的“大局观”。

FunSearch 的出现告诉我们要重新审视 AI 的角色。

它不再只是一个只会回答问题的聊天机器人，也不是一个深不可测的黑盒神谕。它更像是一个

不知疲倦、偶尔甚至有点疯狂的初级研究员

。它需要我们（人类）提供方向（Evaluator），但它能凭借算力和创造力，探索那些人类直觉无法触及的角落。

真理不仅存在于数据之中，更隐藏在生成数据的程序逻辑里。

 而 AI，正在学会如何编程去寻找这些真理。

计算机领域的Nature-大模型攻克NP难题

人工智能

算法

职业发展

Google DeepMind的FunSearch突破性研究：AI通过编程发现数学真理，解决20年未解难题。该系统让大语言模型生成代码而非直接答案，在函数空间中寻找规律，成功破解"顶盖集"和装箱问题，甚至启发人类数学家发现新定理。这种搜索程序而非答案的创新方法，为AI辅助科学发现开辟了新路径。

聊天机器人

人机协作

云计算

ChatGPT

Python

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

计算机领域的Nature-大模型攻克NP难题

计算机领域的Nature-大模型攻克NP难题

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐