又放大招 ？OpenAI 推出 GPT-f 数学推理证明模型：推理结果首次被数学家接…

图片地址：https://img.ithome.com/newsuploadfiles/2020/10/20201011193651_7457.jpg

今年 6 月，OpenAI 发布一款强大的文本生成模型 GPT-3，不少网友迅速上手用了起来，有人用它写食谱、写歌词，甚至有人用它写博客，愣是以假乱真登上了新闻平台技术板块热榜第一。前不久，OpenAI 再次放出大招。这次，研究人员发布了一篇论文《Generative Language Modeling for Automated Theorem Proving》，推出了一款用于自动定理证明 (ATP) 的 GPT-f 模型。GPT-f 基于 Transformer 语言模型，可以为 Metamath 形式化语言提供自动证明器和证明助手。论文地址：https://arxiv.org/pdf/2009.03393.pdfGPT-f 有什么特别之处？论文一作 Stanislas Polu 在推特上进行了介绍，他们在实验中发现，GPT-f 比现有自动定理证明器还要优秀，可完成测试集中 56.22% 的证明，而现有的 SOTA 模型 M