给AI补数学课 人工智能可证明数学数据库中82%的问题了
明敏 发自 凹非寺
量子位 | 公众号 QbitAI
不得不说，科学家们最近都在痴迷给AI补数学课了。
这不，脸书团队也来凑热闹，提出了一种新模型，能完全自动化论证定理，并显著优于SOTA。
要知道，随着数学定理愈加复杂，之后再仅凭人力来论证定理只会变得更加困难。
因此，用计算机论证数学定理已经成为一个研究焦点。
本文由woniu于2022-05-26发表在中国AI网，如有疑问，请联系我们。
本文链接：https://www.chinaai.com/zixun/20574.html
