13:15
Amjad Masad@amasad
Amjad Masad@amasad推荐理由：Amjad Masad分享了一个脑洞大开的概念：用众包算力搜索数学证明，像当年找外星人一样，值得关注。
算力众包
共 1 条相关 AI 资讯
7月29日
13:15
Amjad Masad提出一个类似SETI@Home的项目概念，用户捐献闲置算力用于搜索数学证明。他认为人类正进入探索计算宇宙的新时代，AI可以搜索海量算法、程序、证明和设计。这一想法类比了祖先探索地球和太空的历程。推文获得33次点赞和4881次浏览。