π导航  

2019年3月14日，一位女程序员利用google的服务器，

耗时121天，把圆周率计算到了31.4万亿位，

成为迄今为止圆周率的最精确数值，

该数值的储存空间就高达170TB。

圆周率是无理数?

直到1761年，才被德国数学家约翰·海因里希·兰伯特证明，证明过程用到了复杂的微积分知识。

在2000年，数学家“证明”了二进制下的圆周率π是正规性数，

但是证明过程依赖于一个有关混沌理论的猜想，

所以整个证明还不完备。

正规性数指的是各个数字出现的概率相等，数学家利用计算机，

已经把圆周率计算到万亿位，

发现圆周率各个数字出现的频率并没有异常的地方，

圆周率也没有出现无限循环。