沒有牆 Math Inc. 的自動形式化代理 Gauss 在短短 3 周內完成了“強素數定理”項目——這是一個連 Terence Tao 和 Alex Kontorovich 都花費了超過 18 個月卻陷入困境的任務。 “我們正進入一個黃金時代，任何人都可以召喚人工數學家進行研究。隨著經過驗證的數學成為 AI 的訓練場，我們正在創造超越人類侷限性的機器普遍主義者——數字時代的馮·諾依曼。”