戈德尔证明者:开源自动定理证明的前沿模型

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

本研究提出了开源大型语言模型戈德尔证明者,解决了自动形式证明中正式数学语句和证明稀缺的问题,生成了166万条正式语句和29,700条形式证明,成功率为57.6%。

🏷️

标签

➡️

继续阅读