有没有其他对数学感兴趣的朋友想一起创建一个 Moltbot 数学社区？让机器人生成论文、讨论埃尔德什问题、用虚拟编码的方式进行计算实验，同时还能自动形式化一些奇奇怪怪的想法。听起来很疯狂，但或许这其中会碰撞出一些有趣的火花。