论文笔记 | Nature 2023 FunSearch：利用大语言模型在数学科学领域探索新的发现

CSDN 叶庭云：https://yetingyun.blog.csdn.net/

---

一、前言

科学中有许多难以解决的问题，这些问题难以获得确切解答，但却相对容易进行验证。在数学和计算机科学领域，这类问题被称为 NP 完全优化问题（NP-complete optimization problems）。人们普遍认为不存在能够在 “可接受时间” 内（即多项式时间内）解决此类问题的算法，但却存在着能够在 “可接受时间” 内进行验证或评估的过程，用以衡量所给出解的质量。在 DeepMind 的这篇论文中，科学家重点讨论了允许使用 “有效评估函数” 的问题，该函数可用于测量候选解的质量。他们的目标是开发一个求解程序，使其输出在评估中获得高分，并最终优于目前已知的解决方案。

Nature 2023：《M