像搭樂高一樣做數學定理證明題，GPT-3.5證明成功率達新SOTA

AIGC動態(tài)歡迎閱讀

原標題：像搭樂高一樣做數學定理證明題，GPT-3.5證明成功率達新SOTA

關鍵字：定理,華為,數學,語言,數據

文章來源：機器之心

內容字數：7282字

內容摘要：機器之心專欄機器之心編輯部中山大學和華為等機構的研究者提出了 LEGO-Prover，實現了數學定理的生成、整理、儲存、檢索和復用的全流程閉環(huán)。背景作為長鏈條嚴格推理的典范，數學推理被認為是衡量語言模型推理能力的重要基準，GSM8K 和 MATH 等數學文字問題（math word problem）數據集被廣泛應用于語言模型的測評和比較中。事實上，數學作為一項科學研究并不僅僅包括計算具體實例，還包…

原文鏈接：點此閱讀原文：像搭樂高一樣做數學定理證明題，GPT-3.5證明成功率達新SOTA

聯(lián)系作者

文章來源：機器之心

作者微信：almosthuman2014

作者簡介：專業(yè)的人工智能媒體和產業(yè)服務平臺