FunSearch: 利用LLM在数学科学中进行新发现
talkingdev • 2024-02-26
742171 views
最近在《自然》杂志上介绍了一种名为FunSearch的方法，它使用大型语言模型在数学和计算机科学中进行新的发现。该方法将创造性的LLM与评估器配对，以产生可验证的解决方案，并在难以解决的cap set 和bin-packing问题中展示了成功。这种方法产生的解决方案易于人类理解，标志着AI驱动的科学发现迈出了重要的一步。
核心要点
- FunSearch是一种使用大型语言模型在数学和计算机科学中进行新发现的方法。
- 它将创造性的LLM与评估器配对，以产生可验证的解决方案。
- 该方法易于人类理解，标志着AI驱动的科学发现迈出了重要的一步。