注册 |登录

Bobby的个人博客分享 http://blog.sciencenet.cn/u/Bobby

博文

谷歌团队创建的人工智能已经证明了1200多个数学定理

已有 2431 次阅读 2019-4-26 21:20 |个人分类:科学感想|系统分类:博客资讯

谷歌团队创建的人工智能已经证明了1200多个数学定理


Google has created a maths AI that has already proved 1200 theorems

https://www.newscientist.com/article/2200707-google-has-created-a-maths-ai-that-has-already-proved-1200-theorems/




https://blog.sciencenet.cn/blog-39731-1175695.html

上一篇：错误的时间进食可能会对我们的生物钟产生重大影响
下一篇：科学家设计新型农药
收藏 IP: 150.255.40.*| 热度|

2 杨正瓴 张全成

该博文允许注册用户评论 请点击登录 评论 (2 个评论)

数据加载中...
扫一扫，分享此博文

全部作者的精选博文

全部作者的其他最新博文

全部精选博文导读

相关博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-19 15:52

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部