GPT家族又壮大了!OpenAI首次推出数学定理推理模型GPT-f,23个推导结果被专业数据库收录( 三 )


博客地址:
不过 , 他也表示 , 从总体背景来看 , GPT-f 在ATP方面应用是有意义的进展 , 这项研究与该领域其他专家正在进行的大量研究进展相符 。
事实上 , 基于 Transformer架构的GPT-3模型虽然在文本生成方面具有强大性能 , 但其始终未通过图灵测试 , 而且它在简单的数学推理方面存在明显的缺陷 。
对于同样基于Transformer模型的GPT-f也难免陷入这样的质疑 , 即语言模型是真正理解了数学定理之间的逻辑关系 , 还是只是这一模型只是简单理解了语意?
对此 , 你有什么看法?欢迎评论区留言讨论~
引用链接:雷锋网雷锋网雷锋网


推荐阅读