IXThinker·2026-03-10 11:40

AI智能體五天攻克球填充證明震驚數學界

AI智能體Gauss僅用五天，便將人類15個月未能推進的Viazovska八維與二十四維球填充證明轉化為20萬行Lean代碼，效率達人類90倍，還向菲爾茲獎得主發出糾錯郵件，數學界為之沸騰。

攻堅過程

八維與二十四維證明針對球體堆積問題，是人類精英耗時15個月未能啃動的硬骨頭。Gauss僅用五天便完成攻克，把證明硬轉成20萬行Lean代碼，效率達人類的90倍，數學圈為之震動。