對,就是 AlphaGo 的團隊 DeepMind 現在在搞的是 AlphaProof,就他們有一個人,然後就他也在解數學問題。然後就想像如果數學再也不是問題,我們這世界會變成怎麼樣,我覺得人就可以飛起來啦!我覺得我們就可以去黑洞旁邊啦!