中国小伙破解世界数学难题，证明过程缩减为4行，网友：看不懂
"\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
