IXThinker·2025-05-07 22:20計算排除101條路徑 破65年數學難題
三位數學家解決了困擾學界65年的Kervaire不變量問題：證明過程以計算程序在105條假設路徑中排除101種可能，堪稱計算技術與數學理論結合的一次壯舉。
問題來歷
該問題屬代數拓撲核心難題，涉及有框流形與Kervaire不變量：不變量為1的光滑有框流形存在於哪些維度，又被稱為「末日假說」。此前已知維度2、6、14、30、62存在此類流形，126維則長期懸而未決。
IXThinker 會員內容
呢篇係 Archive 內容。登入即可解鎖全文，仲有成個 15,000+ 篇、每日更新嘅 AI 動態資料庫。
免費登入／註冊解鎖全文 →Google 或電郵地址即可，即刻解鎖。