像搭乐高一样做数学定理证明题，GPT-3.5证明成功率达新SOTA

AIGC动态欢迎阅读

原标题：像搭乐高一样做数学定理证明题，GPT-3.5证明成功率达新SOTA

关键字：定理,华为,数学,语言,数据

文章来源：机器之心

内容字数：7282字

内容摘要：机器之心专栏机器之心编辑部中山大学和华为等机构的研究者提出了 LEGO-Prover，实现了数学定理的生成、整理、储存、检索和复用的全流程闭环。背景作为长链条严格推理的典范，数学推理被认为是衡量语言模型推理能力的重要基准，GSM8K 和 MATH 等数学文字问题（math word problem）数据集被广泛应用于语言模型的测评和比较中。事实上，数学作为一项科学研究并不仅仅包括计算具体实例，还包…

原文链接：点此阅读原文：像搭乐高一样做数学定理证明题，GPT-3.5证明成功率达新SOTA

联系作者

文章来源：机器之心

作者微信：almosthuman2014

作者简介：专业的人工智能媒体和产业服务平台