IXThinker·2025-12-03 17:00

姚班陳立杰以逆向數學撬動五十年複雜性難題

五十年未解的計算複雜性難題迎來新進展：清華姚班陳立杰聯同本科生李嘉圖與學者Igor Carboni Oliveira，以逆向數學路徑重寫理論計算機科學的底層邏輯，引發學界關注。

難題困局

五十年來，頂尖科學家一直在死磕旅行商問題等計算複雜性難題，卻遲遲無法證明；傳統方法在既有框架內難有寸進，理論計算機科學一度似陷停滯。