Replit CEO Amjad Masad
来自 Amjad Masad · 期号 2026-07-29
摘要
Replit CEO Amjad Masad 提出一个“数学证明版 SETI@Home”的想法：人们不是捐出算力寻找外星人，而是捐出算力寻找数学证明。他另外两条内容较短，一条问谁会为反对毁坏稀有书籍写公开信，另一条写着“1300 Elo!”并附链接或媒体，但 feed 里没有足够上下文支撑更深入解读。
来自 Amjad Masad · 期号 2026-07-29
Replit CEO Amjad Masad 提出一个“数学证明版 SETI@Home”的想法：人们不是捐出算力寻找外星人，而是捐出算力寻找数学证明。他另外两条内容较短，一条问谁会为反对毁坏稀有书籍写公开信，另一条写着“1300 Elo!”并附链接或媒体，但 feed 里没有足够上下文支撑更深入解读。
本站只做摘要与索引，全部内容版权归原作者所有。