上个月，华裔数学家黄皓用两页纸证明了一个有 30 年历史的重要计算机科学猜想 —— 布尔函数敏感度猜想（Boolean Sensitivity）。他的证明是如此简洁以至于可以用一条推文予以概括。已经 81 岁高龄的斯坦福大学荣誉退休教授高德纳（Donald Knuth）在 Scott Aaronson 的博客上留言说，他将黄皓的证明简化到了一页。他的简化证明（PDF）发布在自己的网站上。高德纳是 TeX 和《计算机编程艺术》的作者。