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

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

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

本文Tags: AI谷歌

发表评论
留言与评论(共有 0 条评论)
   
验证码:

相关文章

推荐文章

'); })();