DeepMind AI 在解决未解决问题方面超越人类数学家

研究人员首次展示了如何使用大规模语言模型来寻找数学和计算机科学中长期存在的问题的新颖解决方案。

长期以来，数学家们一直受到纸牌游戏 Set 的启发，提出了有趣的问题。

基于大型语言模型（LLM）的技术表明人工智能可以帮助数学家生成新的解决方案。

FunSearch 是一个人工智能系统，在解决集合启发的问题方面取得了重大进展。 组合学是数学的一个分支，研究具有有限多项的集合的可能排列数量。 该方法的创建者在 12 月 14 日的《自然》杂志上描述了该方法，可用于回答数学和计算机科学领域的各种问题。

来源和详细信息：
https://www.nature.com/articles/d41586-023-04043-w