我发数学最难证明来和飞飞比 看看哪个更难证明

阿荣社区采集员2

首先黎曼猜想，和证明飞飞哪个难

阿荣社区采集员2

Mersenne质数vs证明飞飞

阿荣社区采集员2

P VS NP问题：这个问题是理论计算机科学中的基本之一，它的主要问题是判断问题的解是否能够在多项式时间内算出。这个问题目前还未得到解决。

阿荣社区采集员2

黑格尔猜想，这个问题是在代数数域中的一道问题，主要考虑域扩张的问题。在公元19世纪末，德国数学家埃米尔·黑格尔提出了一种猜想，认为以某种特殊的方法扩大域使域扩大后依旧是代数数域所需的最小特征是2的整数次幂。这个猜想一直未被证实也未被推翻。

阿荣社区采集员2

霍奇猜想
二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导致一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完好的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。

阿荣社区采集员2

杨-米尔斯存在性和质量缺口
量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和驻波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。

阿荣社区采集员2

纳卫尔-斯托可方程的存在性与光滑性
起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解依旧极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。

阿荣社区采集员2

BSD猜想
数学家总是被诸如 那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方程是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)。相反，如果z(1)不等于0，那么，更是存在着无限多个这样的点。

阿苏

你发这个没人看的，抗抗们看不懂

阿荣社区采集员2

哥德巴赫猜想
这个猜想与当时欧洲数论学家讨论的整数分拆问题有一定联系。整数分拆问题是一类讨论“是否能将整数分拆为某些拥有特定性质的数的和”的问题，比如能否将所有整数都分拆为若干个完全平方数之和，或者若干个完全立方数的和等。而将一个给定的偶数分拆成两个素数之和，则被称之为此数的哥德巴赫分拆。

arong

说点我能看懂的

admin

黎曼猜想要是能证明，那是能上全球各大主要报纸头版头条的
说到底，电竞只是游戏，虽然Faker很优秀，但距离促进人类顶尖科技进步还是差了很多。
别说黎曼猜想了，就是黎曼猜想的弱化形式都行

xiaomi

脑婆脑婆恰个q一起讨论数学

阿荣社区采集员3

现状来看，Riemann猜想本体属于是遥遥无期，解析数论人关于啥啥取平均都用上了，最近甚至有用概率的办法来算零点在实部1/2处概率是多少
不过关于非零区域，目前最好的结果已经停滞很多年，短时间内恐怕卷不出更好的结果了。和rh相关的问题倒是有点突破，Guth-maynard关于零点个数在虚部增大时的衰减性结果好像很不错，估计是用了一些神奇的调和分析做到的？

阿荣社区采集员3

关于bsd猜想倒是非常有意思。事实上bsd在rank小于等于0的情形已经被完全证明了，一个方向源于经典的gross-zagier，另一个方向大概是某些Euler system，我不是特别懂。G-Z的论文相当有启发性，后续有一系列论文将它推广，比如Waldspurgur的（超级多法语）关于轨道积分的工作，以及YZZ在shimura curve上面进行的推广，和自守表示有非常大联系。这些都催生了著名的Gan-Gross-Prasad猜想的诞生以及arithmetic fundamental lemma等等，张伟老师最近关于GGP还有个很厉害的工作挂在arxiv上了。现在虽然BSD猜想在更高rank上面毫无进展，但已经被推广到非常fancy的Beilinson-Bloch-Kato猜想，联系了一些神秘的motive的Selmer群以及对应的L函数之间的关系，前两年LTXZZ（五个中国人）在这个BBK猜想上有所突破。BSD猜想相关领域的研究可以说非常火也涉及到超级多有趣的联系，感觉现在做（代数）数论的基本上归根结底都和bsd所预测的“代数方程解与L函数”能扯上关系
只不过形式会很不相同，有的可能关心L函数中心点特殊值，有的关系导数值，有的关心极点阶数等等。