據報丘成桐弟子帶領 AI 寫下 470 萬行程式，首次由機器完整驗證龐加萊猜想證明

據報導，丘成桐弟子帶領 AI 寫下高達 470 萬行程式，達成史上首次由機器完整驗證龐加萊猜想證明的紀錄。