金磊 發自 凹非寺

量子位 | 公眾號 QbitAI

當一位計算機系教授去破案，會是一種怎樣的場面？

為國家挽回27。73億元！

這個案件還是涉及全國54家企業那種規模的連環騙稅案。

而在此背後的一位Hidden Figures，便是來自浙江理工大學計算機系的沈煒教授。

經此一役，他的事蹟在網路上迅速走紅，人民日報為此“點贊”：

也有網友評價說“這才是知識分子正確的開啟方式”。

那麼沈煒教授在此次破案過程中，具體做出了哪些貢獻呢？

提供破案的關鍵性證據

關於這個案件，還需要追溯到2018年5月。

當時，稅務部門發現，寧波某家進出口企業收受了大額進項發票，其金額足有2975萬元之多。

這個進項發票的品名為 姿態穩定控制器，它的核心是一個晶片。

售價一般就在幾十元到上百元，稍微貴一些的則會達到上千元。

而案件的端倪也正是在於此——涉嫌虛開騙稅騙優惠。

正如稽查人員所述：

如果這些姿態穩定控制器出口是真實的，都能裝配全球所有的民用無人機了。

由此，稽查人員展開了更為深入的調查和走訪，結果竟然隱現出了一個連環騙稅鏈條。

但要證明這一點，稽查局檢查組還需要一項關鍵性的技術證據，來證明這些姿態穩定控制器存在“低值高報”現象。

於是，在2020年9月，案件檢查組經介紹找到沈煒教授。

在《錢江影片》的介紹中，沈偉教授表示：

任何晶片，它相應的都有一個叫datasheet（的東西），我們一般稱為規格書。

我們就判斷這個晶片跟它的規格書是不是一致。

為了找到這樣關鍵性的證據，沈偉教授跟隨檢查組走訪了深圳，調取相關產品資料。

回到杭州後，沈煒教授便和工程師們著手開發測試工具。

然而，測試的結果卻令人十分震驚。

沈煒教授發現，這些晶片不可能燒寫程式碼：

最初我們懷疑是使用了舊的晶片。

然而，這個晶片根本動不了。或者說它只是一個模型，什麼都幹不了。

換言之，案件中涉及到的這些個晶片，是完全達不到產品說明書所列軟體的功能。

用沈煒的話來說就是，“這個就是一個喪心病狂的騙局”。

沈煒教授在此次案件中從技術角度提供了嚴密的關鍵證據。

據瞭解，此案涉及全國54家企業，共為國家挽回了27。73億元的重大損失。

而鑑於沈偉教授在此次案件中做出的貢獻，他還收到了寧波市稅務局第一稽查局的感謝信。

△圖源：科學網

但沈偉教授卻很低調地評價自己：

說實話，我覺得自己也沒做很突出的業績。

並不是第一次協助破案

沈煒教授畢業於浙江大學計算機科學與技術學院，目前在浙江理工大學資訊學院就職。

其研究領域包括智慧控制、雲計算和人工智慧。

而此次協助調查破案，沈煒教授並不是第一次。

據瞭解，他在更早之前便有過“跨界破案”的經歷。

例如沈偉教授曾協助濟南鐵路公安、蒼南公安等單位，破獲了多起銀行卡詐騙案件。

在他看來，每一次的破案都是一次跨界融合：

我一直在跟學生講，計算無處不在。我們計算機現在已經越來越成為一個和數學一樣的基礎學科。

各行各業都離不開計算機。學我們計算機專業還是非常有前途的。

用計算機技術破案

而除了沈煒教授這件事之外，此前也發生過老師用演算法破案的事件。

例如在2019年，聖母大學計算機系終身副教授一家人，遭到了劫匪搶車事件。

而這位華人副教授在2名博士生的幫助下，透過手機發動應用程式，並採用貪心演算法，成功在24小時內找回丟失的汽車。

速度堪稱“秒殺”美國警方，當時，現場的警方都發出了這樣的感慨：

They shouldn’t have messed up with computer science professors！

參考連結：

［1］https：//weibo。com/2803301701/LmsvU2Lyp？type=comment

［2］https：//mp。weixin。qq。com/s/KL0eaDQQVZA_xYDBJRFFJw

［3］http：//xinxi。zstu。edu。cn/info/1012/3002。htm