IXThinker·2026-09-07 16:10

姚班校友主導Claude完成費馬定理形式化

清華姚班校友主導的研究，利用Claude實現費馬大定理的首個完整形式化證明，被視為大型語言模型參與高階數學驗證的標誌性案例。費馬大定理證明極為艱深，形式化工作長期被視為難關，細節暫未在素材中詳述。

核心成果

標題指向姚班校友主導、以Claude完成的費馬大定理完整形式化證明。形式化即把證明轉為機器可逐行核對的嚴格邏輯，費馬大定理的人類證明長達百餘頁，形式化難度極高。