Nature重磅：击败人类数学家，AI首次攻破经典数学难题

AIGC动态欢迎阅读

原标题：Nature重磅：击败人类数学家，AI首次攻破经典数学难题

关键字：问题,程序,解决方案,上限,研究人员

文章来源：人工智能学家

内容字数：5280字

内容摘要：人工智能（AI）大模型，击败了人类数学家。今天，在 Nature 上发表的一篇论文中，Google DeepMind 的研究团队介绍了一种搜索数学和计算机科学新解决方案的方法——FunSearch，它的工作原理是将预先训练的大型语言模型（LLMs）与自动“评估器”配对，从而防止幻觉和错误想法。通过在这两个组件之间来回迭代，最初的解决方案会演变成新的知识。这项研究首次利用了 LLMs 在挑战科学或数学中的开放问题。FunSearch 发现了上限集问题的新解决方案，而这是数学中一个长期存在的开放问题。此外，为了展示 FunSearch 的实际用途，研究人员用它来发现更有效的算法来解决“装箱”问题，该问题具有无处不在的应用，例如提高数据中心的效率。科学进步始终依赖于分享新理解的能力。FunSearch 成为特别强大的科学工具的原因在于，它输出的程序揭示了如何构建其解决方案，而不仅仅是解决方案是什…

原文链接：点此阅读原文：Nature重磅：击败人类数学家，AI首次攻破经典数学难题

联系作者

文章来源：人工智能学家

作者微信：AItists

作者简介：致力成为权威的人工智能科技媒体和前沿科技研究机构