数学家黄皓
1992年，布尔函数敏感度猜想被提出。这成为了理论计算机科学近三十年来最重要的开放性问题之一。
近日，来自Emory大学计算机与数学科学系的华人教授黄皓，用两页纸轻松证明了困扰理论计算机领域数十年的问题。
组成计算机的电路实际上是“与”“或”“非”逻辑电路的组合，多年来，计算机科学家已经开发出许多方法来测量给定布尔函数的复杂性。
科学家们发现，关于布尔函数的度量措施都适用于一个统一的框架，只有一个复杂性指标似乎不合适：“灵敏度”。
1992年，耶路撒冷希伯来大学的Noam Nisan和现在罗格斯大学的Mario Szegedy推测，“灵敏度”的确适合这一框架，但没人能证明这一点。“我想说，这可能是布尔函数研究中一个悬而未决的问题。”Servedio说。
现在，Emory大学的数学家黄皓用一个巧妙但简单的两页论证，证明了灵敏度猜想，这个论点关于立方体上的点的组合。
法国国家科学研究中心的Claire Mathieu在接受Skype采访时曾评价它为：“这只是一颗美丽的珍珠。”
现代的数学理论大多太深奥了，看懂的人估计没几个。想看论文的高智商朋友，在时光书悦首页回复“论文”，单独推送给你看。