该论文介绍,基于人工智能的工具(例如LLM)有望加速科学发现,解决长久存在的问题,但它们有时受制于“幻觉”,导致作出看似合理但错误的陈述。加入一个评估步骤,系统地衡量潜在解决方案的准确性,使得靠LLM帮 助应对复杂问题成为可能。这些问题一般需要可验证且定义明确,使这一工具在数学科学中有潜在价值。
论文第一作者和通讯作者、Google DeepMind的Bernardino Romera-Paredes和Alhussein Fawzi与同事及合作者一起提出一种方法,称为FunSearch(因为它搜索函数空间),将一组产生创造性解决方案的LLM和一个作为检查者以避免错误建议的评估程序结合起来。一个多次迭代此过程的演化方法,通过提供此前最佳解决办法作为输入来引导LLM,结果表明这种方法可以收敛到新的、可验证的正确结果。他们将FunSearch应用到了著名的上限集问题(cap set problem,数学中涉及计数和排列领域的一个中心问题),发现了超越最著名上限集的大上限集新构造。
论文作者认为,FunSearch的成功关键是它会寻找描述如何解决一个问题的程序,而非寻找解决办法。因为FunSearch的结果是程序,结果易于人类解释和验证,这意味着该方法有望激发该领域的进一步思考。
一个灵族的男子应了一声,然后向山洞底部的一个洞穴入口走去。他的身上背着探险的装备,不难猜到他就是那个发现地穴古墓的灵族探险家。
夏雷赔着笑脸,“娜娜,你这样说可就冤枉我了,我哪有嫌弃你和孩子?”
徐芊芊柔声道:“如果不出预料的话,应该是他翻了我的抽屉,看到了这个配方所以偷偷记下来了。沈浪,我知道你恨我徐家,但是也不该犯下这等罪行。”
还是那样的情况,女人多了,画风莫名其妙就乱了。
夏雷伸手抓住了他的手,这才与他说了第一句话,“我是谁并不重要,重要的是你让你的机器人将我叫到这里来干什么?”人工智能最新研究:一种大语言模型加上评价框架带来新数学发现需要二三十人牵手才能围住的巨大石柱轰然崩飞,世界之石化作片片飞灰。不等双脚落地,夏雷摆臂便是一拳轰向了另一根石柱。
Ymzl2IJ9MuW5J