python证明冰雹猜想_如果冰雹猜想被证明了。那数学会有很大突破吗？

泻药。

先说那个猜想。克拉兹猜想(Collatz conjecture)。有一说一这个猜想的吸引力其实不是很大。。。主要原因也不复杂。研究的人一种是民科

大家可以自行搜索一下，挺好玩的w

一种是闲的没事的数学系学生或者教授这种，由于发现没什么进展，也没什么前途，于是放弃。

证明一个问题所需的数学知识不一定是这个问题的领域所需的数学知识，我印象最深刻的就是代数基本定理。 @Abel 已经提到这一点。

但是这个猜想。。。也许将来会有一位数学界dalao由于这个问题创造了一个新的数学分支，就像曾经的伽罗瓦。然后再会有算法dalao拿这个理论搞出了个新的算法，就像零几年才普遍的神经网络(那篇神经网络论文啥时候发的真不记得了哪位提醒我一下)(不搞计算机要是说错了我一定删)。要是这样对人类贡献还真的蛮大。毕竟以我们现在的数学水平看不出这会有什么突破。。。

至于题主说的有人快搞了一个猜想也许是那个几乎算“胡闹一通”的阿蒂亚爵士(可惜他19年初去世了)。当时动静闹得很大，后来发现这个证明实在是不太靠谱。毕竟可是有无数个其他数学工作都是建立在黎曼猜想成立的前提下完成的，黎曼猜想证明了对数学的突破倒是很大。

补充一下关于克拉兹猜想。陶哲轩之前发过(2019.10)他对这个猜想的工作，似乎被认为是现在结论最强的一个工作了。目前的结论通俗一点说就是“99%的初始值大于10^12的初始值的克拉兹数列，最终结果小于200”。链接在底下：Almost all Collatz orbits attain almost bounded values​terrytao.wordpress.com