德国统计学家托马斯·罗延在刷牙时灵光乍现，想出了困扰学术界多年的难题“高斯相关不等式”的破解之道，随后用经典数学方法证明了这一定理。

  有趣的是，他两年前就解出这道难题，由于种种原因，直到最近才广为人知。

  综合 新华社

  现年70岁的德国统计学家托马斯·罗延解出这道题时名不见经传。

  因为证明出一个数学猜想并不能立刻成为公认答案，还需要经过同行评估，2015年年初托马斯·罗延将自己的证明通过E-mail寄给了以色列的魏茨曼科学研究所，邮件最后被转给了一个有名的数学家，那时候该数学家手上刚好还有另外两个知名数学家的GCI证明稿件，而他选择首先看的一个证明就是错的，所以他压根就没看另外两人的稿件，其中就有托马斯·罗延的证明。而托马斯·罗延没继续追踪稿件审核结果，因为他知道这在学界很正常，一些稿件非常容易被专家们忽略。

  所以，因为不能忍受在顶级学术刊物上发表论文所需的漫长同行评议过程，罗延把论文发表在了一家没多少人知道的印度学术期刊上。再加上之前有不少人声称破解了这道题最后却证明是场乌龙，罗延的发现没有引起关注。

  结果，这一耽搁就是近两年，直到2015年12月托马斯·罗延的证明才被数学界再次翻出来，波兰数学家拉法尔·拉塔拉和学生达留什·马特拉克撰写了一篇有关罗延发现的论文：“托马斯·罗延真的证明了高斯相关不平等猜想”，用更易理解的表述方式使罗延的发现开始受到关注，直至这一成果得到学术界公认。在该论文中两人还提出了一个问题：“在信息爆炸的互联网时代，我们数学界得多大意才能忽略一个天才证明这么久？”

  尽管名声来得晚了些，罗延却不以为意。他对《量子》杂志记者说，来自发现重要证据的那份“深深的喜悦和感激之情”已经是足够的奖赏。

  他描述刷牙时获得灵感的感觉仿佛像一个问题百思不得其解，突然“看到一个美丽的天使出现在眼前”，带来一个好点子。

  背景资料

  高斯相关不平等猜想简称GCI，1950年代首次被提出，1972年才首次被比较准确地描述出来：设有一个如右图所示的飞镖靶盘，由一个矩形和一个圆形重叠构成，高斯相关不平等猜想认为，当一个人以中心点为目标投掷飞镖，那飞镖最后“落在圆形和矩形重叠部分的概率”应该大于或等于“单独落在圆形内的几率”乘以“单独落在矩形内的几率”。

  GCI的特例在1977年已经被Loren Pitt证明了，之后他一直试图完全证明GCI，可惜并没成功。几十年来，世界上最有经验的数学家都在试图彻底证明该猜想，但都没能成功。

  《量子》杂志最近一篇报道援引美国宾夕法尼亚州立大学统计学家唐纳德·理查兹的话说：“我知道有人在它上面费了40年工夫，我自己也用了30年。”