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

科技 04-26 来源： 中文科讯网

中文科讯网消息：据外媒报道，近日，由谷歌团队创造的AI模型已证明超过1200个数学定理。尽管数学家已经知道这些特定定理的论证推理，但AI由此能够开展研究更难的问题。

据称，未来或许不再需要人脑来解决数学难题，人工智能便能写出关于数学定理严谨的论证。

本文Tags： AI谷歌

  • 支付宝打赏
  • 微信打赏
    • 定理   数学   论证
    发表评论
    留言与评论（共有 0 条评论）
       
    验证码：

    相关文章

    凭什么它那么小，却能那么不平凡
    凭什么它那么小，却能那么不平凡
    智商最高的10位天才， 爱因斯坦才排第九 第一你猜到了么
    智商最高的10位天才， 爱因斯坦才排
    国际数学大赛第六，怎么了？中国奥数不行了？
    国际数学大赛第六，怎么了？中国奥数不
    数学竞赛中国丢金 领队回应：不代表国家数学水平
    数学竞赛中国丢金 领队回应：不代表
    常青藤爸爸新著学科类图书，霸榜当当新书榜
    常青藤爸爸新著学科类图书，霸榜当当
    对典型例题、习题 和试题“借题发挥”
    对典型例题、习题 和试题“借题发

    推荐文章

    最热点击文章

    热门标签

    '); })();