據報丘成桐弟子帶領 AI 寫下 470 萬行程式，首次由機器完整驗證龐加萊猜想證明
團隊透過 AI 輔助撰寫 470 萬行程式，達成首次由機器完整驗證龐加萊猜想證明的里程碑，為高等數學領域重大突破。
新智元單一來源
完整日報
AI 日報 2026-09-29
55 則值得知道的變化
55 則值得知道的變化
團隊透過 AI 輔助撰寫 470 萬行程式，達成首次由機器完整驗證龐加萊猜想證明的里程碑，為高等數學領域重大突破。
該研究透過形式化自適應表示法，解決無限維度函數梯度在實作時容易收斂至錯誤目標的問題，確保模型能收斂至全域最小值。
Reddit 社群關注 ToMoE v2 論文，該研究指稱能將密集模型轉換為 MoE 架構且幾乎不掉準確度，但實務上仍面臨架構與訓練資料等門檻。