江苏龙网

  1. 首页 > 资讯 > 科技 > >

CSDN|OpenAI 发布模型实现自动定理证明，妈妈再也不用担心我的数学？( 二 )

CSDN|OpenAI 发布模型实现自动定理证明，妈妈再也不用担心我的数学？
本文插图
Robust.AI联合创始人一直都不喜欢GPT ， 此次依然直接吐槽这里我们也表示乐观 ， 如果 GPT-f 真的能够实现更大的突破 ， 那么不管是数学界还是在 AI 界 ， 都是拉马努金在世一样的好事 ， 毕竟这位印度天才如果不是在异国他乡身体虚弱 ， 说不定还能创造更多的数学奇迹 。 如果 GPT-f 不能跟真人一样, 说不定还会有 GPT-G, GPT-X, GPT-Y 呢～注: Metamath是用来发展严格形式化数学定义及证明的一款语言 ， 亦指用来验证该语言的证明验证器 ， 以及存有逻辑、集合论、数论、群论、代数、数学分析、拓扑学、希尔伯特空间及量子逻辑等领域中数万条已证明定理且仍不断在增加中的数据库 。 (来源: 维基百科)论文链接:https://arxiv.org/abs/2009.03393
更多精彩推荐点点赞点在看


推荐阅读


上一篇：小米手机|逆境中突破成功！小米主流旗舰得到用户热捧，意料之中的事

下一篇：|河南制造业与互联网融合试点示范申报工作开启，包括这5类17项内容