他从神那里获得了近4000个方程式,最近一位数学家证明了其中一个公式就获得了诺贝尔奖