IXThinker·2026-08-29 18:40

AI輔助形式化核驗超大數學證明工程

龐大而碎片化的數學證明體系令傳統驗證方式難以為繼。在知名數學家倡導下，一支跨機構團隊提出人工智能輔助的數學研究工作流，以形式化方法核驗超大證明工程，為數學基礎可靠性提供新路徑。

兩萬頁證明無人能復核

有限單群分類由上百位數學家耗時數十年接力完成，成果散落於數百篇論文與專著，總篇幅接近兩萬頁，體量已遠超單人甚至單一團隊能夠完整復核的邊界，正確性高度依賴分散的專家共識。