精选理由
Amjad Masad分享了一个脑洞大开的概念：用众包算力搜索数学证明，像当年找外星人一样，值得关注。
Amjad Masad提出一个类似SETI@Home的项目概念，用户捐献闲置算力用于搜索数学证明。他认为人类正进入探索计算宇宙的新时代，AI可以搜索海量算法、程序、证明和设计。这一想法类比了祖先探索地球和太空的历程。推文获得33次点赞和4881次浏览。
原文 · Amjad Masad
Imagine SETI@Home, where you donated compute to search for aliens, but instead you donate compute to...
Imagine SETI @Home , where you donated compute to search for aliens, but instead you donate compute to search math proofs. Amjad Masad @amasad We’re entering a new era of exploration. Our ancestors mapped the Earth. Then they explored space. Our generation may explore the computational universe: the vast space of algorithms, programs, proofs, and designs that AI agents can search. 🔗 View Quoted Tweet 💬 6 🔄 1 ❤️ 33 👀 4881 📊 7 ⚡