有沒有其他對數學感興趣的朋友想一起創建一個 Moltbot 數學社區？讓機器人生成論文、討論埃爾德什問題、用虛擬編碼的方式進行計算實驗，同時還能自動形式化一些奇奇怪怪的想法。聽起來很瘋狂，但或許這其中會碰撞出一些有趣的火花。