一位來自中國的數學家黃皓（Hao Huang）透過兩頁紙，解決了計算機科學領域30年懸而未決的問題——布林函式的敏感度猜想（sensitivity conjecture）。黃皓使用了一種創新的證明方法，其他科學家驚歎於證明過程的簡潔和優雅，網友則震驚於完全看不懂。

2007年黃皓畢業於北大，隨後到美國求學，現任埃默裡大學數學助理教授，當他將自己的6頁論文（2頁證明過程）發表在期刊上時，立刻引起了數學界的轟動。

“通常解決公認難題的論文，大約99？錯誤的”德克薩斯大學奧斯汀分校理論計算機科學家斯科特·亞倫森（Scott Aaronson）表示：“或者看上去複雜無比，但這篇論文是1？例外，它很簡單，而且我認為它是正確的，為什麼？因為我看完並理解了它。”

有其他數學家將黃皓的證明過程發到了網上：

Ex。1： ？edge-signing of n-cube with 2^{n-1} eigs each of +/-sqrt（n）

Interlacing=>Any induced subgraph with >2^{n-1} vtcs has max eig >= sqrt（n）

Ex。2： In subgraph， max eig <= max valency， even with signs

Hence ［GL92］ the Sensitivity Conj， s（f） >= sqrt（deg（f））

希伯來大學的數學家吉爾·卡萊（Gil Kalai）稱，“黃皓採用了矩陣的方法，並以非常巧妙和神秘的方式對證明過程進行了最佳化。該怎麼形容呢？這就像有一支管絃樂隊，他們能夠演奏一些很好的音樂，然後你增加一些樂手，站在了樂隊的頭上，音樂變得完全不同了，這個證明就像這麼一回事。”

“30年來，關於布林函式的敏感度猜想沒有任何進展，然後黃浩解決了這個問題，他找到了一個非常簡單的證明過程，證明答案是n的平方根，”卡萊說：“在這30年中，關於這個問題，人們唯一意識到東西就是它在計算機理論中非常重要。”

卡萊說，黃皓的證明令人興奮，因為它推動了計算機科學領域的發展。但它也值得注意，因為它引入了一種新穎的方法，數學家仍然不確定黃的新方法可能讓他們完成什麼，說不定有更大的發現。

你

能

看懂黃皓的證明過程

嗎？歡迎留言、分享。

請隨手點贊、關注、轉發，支援原創！