12. 计算机算出来的数学证明

12. 计算机算出来的数学证明

2020-05-19    14'24''

主播: 小叙🌀

308 3

介绍:
你看过论文中塞满计算机计算出来的证明结果吗?来来来,一起听听黑尔斯利用计算机证明400年来一直无法确认的猜想吧。