高斯相关不等式的意外证明

摘要

2014年7月17日清晨，德国一位鲜为人知的退休统计学家托马斯•罗延（Thomas Royen）在刷牙时突然想到一个涉及几何学、概率论与统计学的著名猜想——高斯相关不等式（Gaussian correlation inequality，简称为GCI）猜想——的证明方法。这个猜想已经困扰了诸多顶尖学者很多年。但奇怪的是，直到两年后，这一证明才逐渐传播开来。究竟是什么原因导致了在21世纪的今天，罗延的证明会传播地如此缓慢？