毕竟这也算是近期头号娱乐新闻，这里跟个风
(心照不宣)
。本来嘛，定理证明好像也没有Mathematica多少事，但是，对这事稍有关注的同鞋可能知道，A爵士在进行这个证明的时候，引用了自己的另一篇关于精细结构常数（fine-structure constant）的文章，而那篇文章里的内容相对“初等”，可以方便的进行数值验算。（Quora上甚至有Excel版本。）于是，SE也冒出相关帖了：
mathematica.stackexchange.com/q/182565/1871
结果当然是对不上。不过这差的也太远了，该不会文章真是假的吧……