文章插图
保持慎重,保持乐观
对于 GPT 模型 ， 很多人并不乐观 ， 像此前一直对 GPT 开炮的 Gary Marcus, 在社交媒体上一直置顶自己在《MIT 科技评论》上面批判 GPT 的文章 ， 文中批评了 GPT 在面对数学等基础学科上的无知和无能 ， 称其根本一文不值 ， 只是一个了解上下文的机器而已 。 此次更是快速反应, 称 GPT-f 也一样达不到人类的水平 ， 更不用说打败人类了 。
文章插图
Robust.AI联合创始人一直都不喜欢GPT ， 此次依然直接吐槽
这里我们也表示乐观 ， 如果 GPT-f 真的能够实现更大的突破 ， 那么不管是数学界还是在 AI 界 ， 都是拉马努金在世一样的好事 ， 毕竟这位印度天才如果不是在异国他乡身体虚弱 ， 说不定还能创造更多的数学奇迹 。 如果 GPT-f 不能跟真人一样, 说不定还会有 GPT-G, GPT-X, GPT-Y 呢～
注: Metamath是用来发展严格形式化数学定义及证明的一款语言 ， 亦指用来验证该语言的证明验证器 ， 以及存有逻辑、集合论、数论、群论、代数、数学分析、拓扑学、希尔伯特空间及量子逻辑等领域中数万条已证明定理且仍不断在增加中的数据库 。 (来源: 维基百科)
论文链接:
文章插图
文章插图
文章插图
【OpenAI 发布模型实现自动定理证明，妈妈再也不用担心我的数学？】点分享
文章插图
文章插图

• 国家发布“铁令”，微信、支付宝始料未及，必须作出整改
• 1399元起！开年首款5G手机正式发布：外观惊艳
• realme真我V15国潮锦鲤手机发布《国家宝藏》联名设计
• 苹果为中国用户发布牛年限量款AirPods Pro，售价人民币1999元
• 三星发布NeoQLED，MICROLED电视新品
• 5G发布后，4G变慢，电信高管道出实情，你的4G还能用多久？
• 1260元起！红米9T正式发布：充电器才是最大亮点
• 尼康发布服务公告：将不再为镜头及配件提供全球联保服务
• 华为认证HCIP-GaussDB-OLTP发布，下一个高级DBA会是你吗
• AMDCES发布会1月13日凌晨0点开始：苏姿丰作主题演讲