冰雹猜想（又称考拉兹猜想、3n+1问题）至今未被任何人证明，它仍是数学界公认的未解决难题。 该猜想由德国数学家洛塔尔·考拉兹于1937年提出，其核心描述是：对于任意正整数，重复以下操作：如果是奇数则乘以3再加1，如果是偶数则除以2，最终都会进入4-2-1的循环。尽管无数数学家尝试证明或推翻它，包括保罗·埃尔德什、约翰·康威等知名学者都曾研究过，但至今没有得出严谨的数学证明。目前，计算机验证已覆盖到数万亿级别的数字，均符合猜想，但数学界普遍认为完整证明仍需等待突破。

冰雹猜想的难点在于其不可预测的随机性和潜在的反例存在可能。近年来，数学家如陶哲轩、杰弗里·拉加里亚斯等人发表了关于该猜想的局部进展，例如陶哲轩证明了几乎所有自然数序列最终会小于初始值，但距离全局证明仍有距离。因此，当被问及“冰雹猜想被谁证明了”时，最准确的回答是：尚未有人证明，它仍然是开放的数学问题。

【常见问题】

问题1：冰雹猜想被谁证明了吗？

回答1：截至目前，冰雹猜想（考拉兹猜想）没有被任何人证明。它仍是一个未解决的数学猜想，尽管大量数值验证支持其正确性。

问题2：哪位数学家对冰雹猜想的证明贡献最大？

回答2：目前没有数学家成功证明冰雹猜想。但陶哲轩、杰弗里·拉加里亚斯等学者做出了重要局部进展，例如陶哲轩2019年的论文证明了几乎所有自然数序列最终会变小，但未完成全局证明。

问题3：冰雹猜想为什么叫冰雹猜想？

回答3：因为数字在序列中忽大忽小（如冰雹在空中升降），最终落入4-2-1循环，类似冰雹落地，因此得名。该猜想与考拉兹猜想、3n+1问题同义。

问题4：冰雹猜想有没有反例被找到？

回答4：目前没有发现反例。计算机验证已覆盖到2^68以上的数字，所有被测试的整数都符合最终进入4-2-1循环的规律，但数学界仍不能排除更高数字中存在反例的可能。