AI大挑战：成功击败人类数学家，首次攻克经典数学难题

本文介绍了一项重要的研究成果，即人工智能通过使用预先训练的大型语言模型（LLMs）与自动“评估器”结合，成功攻克了数学领域中的一个经典难题。这项名为FunSearch的研究方法首次利用了LLMs来挑战科学和数学领域的开放问题，发现了上限集问题的新解决方案。研究团队还展示了FunSearch在解决实际问题中的潜力，例如改进解决“装箱”问题的算法，这对提高数据中心的效率具有重要意义。通过分享新的发现，这项研究为科学进步提供了重要的工具和理念。如果您想阅读原文，请点击Nature重磅：击败人类数学家，AI首次攻破经典数学难题。如果您有进一步的问题或联系作者的需求，可以在文章来源人工智能学家中找到作者微信AItists的联系方式。