IXThinker·2026-09-07 16:40

丘成桐關注AI形式化數學驗證新進展

清華姚班校友彭天翼開發的系統早前基於Claude完成費馬大定理首個形式化證明；其後網傳首位華人菲爾茲獎得主丘成桐懸賞十萬元，徵集龐加萊猜想證明的形式化驗證，反映數學界重視可驗證性。

費馬定理新進展

彭天翼主導的Prove2Me系統以Claude為核心，首次將費馬大定理證明完整形式化。費馬大定理歷經三百多年才由人類證明，形式化驗證意味着機器可逐行核對證明邏輯，意義重大。