谷歌AI模型已证明超过1200个数学定理

【百人牛牛瞬眼播报】百人牛牛4月26日消息,据外媒报道,近日,由谷歌团队创造的AI模型已证明超过1200个数学定理。尽管数学家已经知道这些特定定理的论证推理,但AI由此能够开展研究更难的问题。据称,未来或许不再需要人脑来解决数学难题,人工智能便能写出关于数学定理严谨的论证。

更多精彩内容,关注百人牛牛微信号(ID:taimeiti),或者下载百人牛牛App

60
查看更多资讯

猜你喜欢

评论(0

Oh! no

您是否确认要删除该条评论吗?

分享到微信朋友圈

联系我们

公众号内回复“用户群”

即可加入百人牛牛用户官方交流群。

百人牛牛公众号

公众号内回复“用户群”

即可加入百人牛牛用户官方交流群。

钛空舱公众号

公众号内回复“用户群”

即可加入百人牛牛用户官方交流群。

链得得App下载

© 2019 TMTPost

注册邮箱未验证

我们已向下方邮箱发送了验证邮件,请查收并按提示验证您的邮箱。

如果您没有收到邮件,请留意垃圾邮件箱。

更换邮箱

您当前使用的邮箱可能无法接收验证邮件,建议您更换邮箱

账号合并

经检测,你是“百人牛牛”和“商业价值”的注册用户。现在,我们对两个产品因进行整合,需要您选择一个账号用来登录。无论您选择哪个账号,两个账号的原有信息都会合并在一起。对于给您造成的不便,我们深感歉意。