IXThinker·2026-10-12 18:10

Thurston幾何化猜想完成Lean形式化驗證

繼今年9月龐加萊猜想完成AI形式化驗證後，數學界再傳重磅突破：丘成桐弟子Ayush Khaitan率領團隊聯合NVIDIA Humanfia，首次完成Thurston幾何化猜想的完整Lean形式化，470萬行代碼僅用兩周左右寫成。

幾何化猜想形式化

繼今年9月人工智能成功形式化驗證龐加萊猜想、震撼數學界之後，再一項重磅成果公布：由丘成桐弟子Ayush Khaitan率領的學術團隊，聯合NVIDIA Humanfia團隊，首次完成Thurston幾何化猜想的完整Lean形式化。