"\u003Cdiv\u003E\u003Cdiv class=\"pgc-img\"\u003E\u003Cimg src=\"http:\u002F\u002Fp1.pstatp.com\u002Flarge\u002Fpgc-image\u002F584b54c10a6f4cc1bd1780cae32c71c1\" img_width=\"750\" img_height=\"200\" alt=\"中國小夥破解世界數學難題,證明過程縮減爲4行,網友:看不懂\" inline=\"0\"\u003E\u003Cp class=\"pgc-img-caption\"\u003E\u003C\u002Fp\u003E\u003C\u002Fdiv\u003E\u003Cp\u003E一位來自中國的數學家黃皓(Hao Huang)通過兩頁紙,解決了計算機科學領域30年懸而未決的問題——布爾函數的敏感度猜想(sensitivity conjecture)。黃皓使用了一種創新的證明方法,其他科學家驚歎於證明過程的簡潔和優雅,網友則震驚於完全看不懂。\u003C\u002Fp\u003E\u003Cdiv class=\"pgc-img\"\u003E\u003Cimg src=\"http:\u002F\u002Fp1.pstatp.com\u002Flarge\u002Fpgc-image\u002F3fba1d25a8d1455cadec7310df0a0320\" img_width=\"1720\" img_height=\"1290\" alt=\"中國小夥破解世界數學難題,證明過程縮減爲4行,網友:看不懂\" inline=\"0\"\u003E\u003Cp class=\"pgc-img-caption\"\u003E黃皓(Hao Huang)\u003C\u002Fp\u003E\u003C\u002Fdiv\u003E\u003Cp\u003E2007年黃皓畢業於北大,隨後到美國求學,現任埃默裏大學數學助理教授,當他將自己的6頁論文(2頁證明過程)發表在期刊上時,立刻引起了數學界的轟動。\u003C\u002Fp\u003E\u003Cdiv class=\"pgc-img\"\u003E\u003Cimg src=\"http:\u002F\u002Fp1.pstatp.com\u002Flarge\u002Fpgc-image\u002Fcaff3be715724e3997ad7801d6f359d4\" img_width=\"1068\" img_height=\"1720\" alt=\"中國小夥破解世界數學難題,證明過程縮減爲4行,網友:看不懂\" inline=\"0\"\u003E\u003Cp class=\"pgc-img-caption\"\u003E\u003C\u002Fp\u003E\u003C\u002Fdiv\u003E\u003Cp\u003E“通常解決公認難題的論文,大約99%是錯誤的”德克薩斯大學奧斯汀分校理論計算機科學家斯科特·亞倫森(Scott Aaronson)表示:“或者看上去複雜無比,但這篇論文是1%的例外,它很簡單,而且我認爲它是正確的,爲什麼?因爲我看完並理解了它。”\u003C\u002Fp\u003E\u003Cp\u003E有其他數學家將黃皓的證明過程發到了網上:\u003C\u002Fp\u003E\u003Cp\u003E\u003Cstrong\u003EEx.1: ∃edge-signing of n-cube with 2^{n-1} eigs each of +\u002F-sqrt(n)\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cp\u003E\u003Cstrong\u003EInterlacing=>Any induced subgraph with >2^{n-1} vtcs has max eig >= sqrt(n)\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cp\u003E\u003Cstrong\u003EEx.2: In subgraph, max eig <= max valency, even with signs\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cp\u003E\u003Cstrong\u003EHence [GL92] the Sensitivity Conj, s(f) >= sqrt(deg(f))\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cdiv class=\"pgc-img\"\u003E\u003Cimg src=\"http:\u002F\u002Fp1.pstatp.com\u002Flarge\u002Fpgc-image\u002F5c4bbe67726c45608be9a738b9503477\" img_width=\"2880\" img_height=\"1620\" alt=\"中國小夥破解世界數學難題,證明過程縮減爲4行,網友:看不懂\" inline=\"0\"\u003E\u003Cp class=\"pgc-img-caption\"\u003E\u003C\u002Fp\u003E\u003C\u002Fdiv\u003E\u003Cp\u003E希伯來大學的數學家吉爾·卡萊(Gil Kalai)稱,“黃皓採用了矩陣的方法,並以非常巧妙和神祕的方式對證明過程進行了優化。該怎麼形容呢?這就像有一支管絃樂隊,他們能夠演奏一些很好的音樂,然後你增加一些樂手,站在了樂隊的頭上,音樂變得完全不同了,這個證明就像這麼一回事。”\u003C\u002Fp\u003E\u003Cdiv class=\"pgc-img\"\u003E\u003Cimg src=\"http:\u002F\u002Fp1.pstatp.com\u002Flarge\u002Fpgc-image\u002F59d0616fe063464a9b373e19a93c561f\" img_width=\"3100\" img_height=\"2027\" alt=\"中國小夥破解世界數學難題,證明過程縮減爲4行,網友:看不懂\" inline=\"0\"\u003E\u003Cp class=\"pgc-img-caption\"\u003E\u003C\u002Fp\u003E\u003C\u002Fdiv\u003E\u003Cp\u003E“30年來,關於布爾函數的敏感度猜想沒有任何進展,然後黃浩解決了這個問題,他找到了一個非常簡單的證明過程,證明答案是n的平方根,”卡萊說:“在這30年中,關於這個問題,人們唯一意識到東西就是它在計算機理論中非常重要。”\u003C\u002Fp\u003E\u003Cdiv class=\"pgc-img\"\u003E\u003Cimg src=\"http:\u002F\u002Fp1.pstatp.com\u002Flarge\u002Fpgc-image\u002F29075ddc2d604ff7a501cfc820bea1a4\" img_width=\"2097\" img_height=\"1400\" alt=\"中國小夥破解世界數學難題,證明過程縮減爲4行,網友:看不懂\" inline=\"0\"\u003E\u003Cp class=\"pgc-img-caption\"\u003E黃皓(Hao Huang)\u003C\u002Fp\u003E\u003C\u002Fdiv\u003E\u003Cp\u003E卡萊說,黃皓的證明令人興奮,因爲它推動了計算機科學領域的發展。但它也值得注意,因爲它引入了一種新穎的方法,數學家仍然不確定黃的新方法可能讓他們完成什麼,說不定有更大的發現。\u003C\u002Fp\u003E\u003Cp\u003E你\u003Cstrong\u003E能看懂黃皓的證明過程\u003C\u002Fstrong\u003E嗎?歡迎留言、分享。\u003C\u002Fp\u003E\u003Cp\u003E請隨手點贊、關注、轉發,支持原創!\u003C\u002Fp\u003E\u003C\u002Fdiv\u003E"'.slice(6, -6), groupId: '6720028881161552398
相關文章