OpenAI 发布模型实现自动定理证明，妈妈再也不用担心我的数学？( 二 )
文章插图
保持慎重,保持乐观
对于 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 发布模型实现自动定理证明，妈妈再也不用担心我的数学？】点分享
文章插图
文章插图
推荐阅读
- LG发布LG UltraFine OLED Pro显示器 首次引入OLED面板
- Kensington发布StudioDock 将iPad Pro扩展坞与无线充电器相结合
- 金士顿发布Workflow Station - 为内容创作者设计的模块化底座
- 微软新Surface Pro 7 Plus发布 拥有更大的电池、可拆卸的SSD和LTE模组
- 三星公司发布2021款数字座舱 集成诸多高科技
- 搭载骁龙888处理器+120W超充 横屏性能旗舰iQOO 7正式发布
- 499元！魅族新耳机正式发布：这外观太熟悉了
- 3798元起！iQOO 7正式发布：120W快充+骁龙888
- iQOO 7手机发布：首款120W快充骁龙888旗舰、120Hz全感触控
- “性能旗舰”iQOO 7正式发布：感受全感操控3798元起