本文目录一览：
- 1、千禧年大奖难题的介绍
- 2、千禧年难题指的是什么？
- 3、世界数学七大难题是什么？
- 4、今天和大家一起了解个高能知识点： P= NP问题。看到这里我
- 5、千禧年大奖难题的贝赫和斯维讷通-戴尔猜想
- 6、顶级数学家有多野？
- 7、人工智能有可能会先于人类解决千禧年七大数学难题中剩下的六个吗？
- 8、数学史上有哪些未解决的难题
- 9、谁证明了p等于np？
千禧年大奖难题的介绍
千禧年大奖难题(Millennium Prize Problems), 又称世界七大数学难题， 是七个由美国克雷数学研究所(Clay Mathematics Institute,CMI) 于2000年5月24日公布的数学猜想。拟定这7个问题的数学家之一是怀尔斯，费马大定理这个有300多年历史的难题没被选入的唯一理由就是已经被他解决了。其他的专家，除了克磊促进会会长贾菲(Arthur Jaffe)，还有阿蒂亚和在巴黎演讲的泰特，以及法国的孔涅(Alain Connes)和美国的威滕(Edward Witten)。根据克雷数学研究所订定的规则，任何一个猜想的解答，只要发表在数学期刊上，并经过两年的验证期，解决者就会被颁发一百万美元奖金。这些难题是呼应1900年德国数学家大卫·希尔伯特在巴黎提出的23个数学问题。
千禧年难题指的是什么？
千禧年大奖难题(Millennium Prize Problems), 是七个由美国克雷数学研究所(Clay Mathematics Institute,CMI) 于2000年5月24日公布的数学难题。根据克雷数学研究所订定的规则，所有难题的解答必须发表在数学期刊上，并经过各方验证，只要通过两年验证期，每解破一题的解答者，会颁发奖金1,000,000美元。 这些难题是呼应1900年德国数学家大卫·希尔伯特在巴黎提出的23个历史性数学难题，经过一百年，许多难题已获得解答。而千禧年大奖难题的破解，极有可能为密码学以及航天、通讯等领域带来突破性进展。 大奖题目 P对NP问题 （-P versus NP-） 霍奇猜想 （-The Hodge Conjecture-） 庞加莱猜想 （-The Poincaré Conjecture-） 黎曼假设 （-The Riemann Hypothesis-） 杨-米尔斯理论 （-Yang-Mills Existence and Mass Gap-） 斯托克斯方程 （-Navier-Stokes Existence and Smoothness-） 戴尔猜想 （-The Birch and Swinnerton-Dyer Conjecture-）
世界数学七大难题是什么？
这七个世界难题是，NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨米尔斯存在性和质量缺口、纳卫尔斯托可方程、BSD猜想。
2121年前，克雷数学研究所发表了数学领域内7个顶尖难题千禧年大奖难题。
难题介绍
黎曼猜想，黎曼猜想是关于黎曼函数的零点分布的猜想，由数学家波恩哈德黎曼于1859年提出，虽然在知名度上，黎曼猜想不及费尔马猜想和哥德巴赫猜想，但它在数学上的重要性要远远超过后两者，是当今数学界最重要的数学难题。
霍奇猜想，霍奇猜想可以说难道几乎所有的数学家，猜想表达能够将特定的对象形状，在不断增加维数的时候粘合形成一起，看似非常的巧妙，但在实际的操作过程中必须要加上没有几何解释的部件。
BSD猜想，BSD猜想，全称贝赫和斯维纳通戴尔猜想，它描述了阿贝尔簇的算术性质与解析性质之间的联系。
欧几里得第五公设，欧几里得第五公设，同一平面内的两条直线与第三条直线相交，若其中一侧的两个内角之和小于二直角，则该两直线必在这一侧相交。因它与平行公理是等价的，所以又称为欧几里得平行公设，简称平行公设。
NP完全问题，NP完全问题可以说是一个听着就很复杂的数学问题，简单的讲所有的完全多项式在非确定性的问题，都可以被转化为名为满足性的逻辑运算问题，数学家们猜想的是到底有没有一个确定性的算大。
今天和大家一起了解个高能知识点： P= NP问题。看到这里我
今天和大家一起了解个高能知识点：P=NP问题。
看到这里我们可能是一头雾水，不由得发问：
P问题是什么？
NP问题又是什么？
P=NP又是什么意思？
研究并解决P=NP问题的意义是什么？
这四个问题也是我们由表及里去理解P=NP问题的重要切入点，通过本文你将了解到包括但不限于以下内容：
千禧年世纪难题
P类问题和NP类问题特征定义
P=NP的研究和NPC问题
解决P=NP问题的大方向
2 千禧年世纪难题
时间镜头拉回2000年数学界出现了一个里程碑事件： 千禧年大奖难题
千禧年大奖难题 Millennium Prize Problems 是七个由美国克雷数学研究所 Clay Mathematics Institute 于2000年5月24日公布的数学难题。根据克雷数学研究所订定的规则，所有难题的解答必须发表在数学期刊上，并经过各方验证，只要通过两年验证期，每解破一题的解答者，会颁发奖金100万美元。
这些难题是呼应1900年德国数学家大卫·希尔伯特在巴黎提出的23个历史性数学难题，经过一百年，许多难题已获得解答。而千禧年大奖难题的破解，极有可能为密码学以及航天、通讯等领域带来突破性进展。
大概意思就是2000年5月美国的一个私人非盈利机构出了7个意义重大的问题，解答任何1道会得到100w美元奖金，说到钱忽然精神起来了，不妨看下这7个多金的题目：
P/NP问题（P versus NP）
霍奇猜想（The Hodge Conjecture）
庞加莱猜想（The Poincaré Conjecture）
黎曼猜想（The Riemann Hypothesis）
杨-米尔斯存在性与质量间隙（Yang-Mills Existence and Mass Gap）
纳维-斯托克斯存在性与光滑性（Navier-Stokes existence and smoothness)
贝赫和斯维讷通-戴尔猜想（The Birch and Swinnerton-Dyer Conjecture）
黎曼猜想去年闹得沸沸扬扬，相信都有所耳闻，不过黎曼猜想是研究素数分布规律的问题，相比之下P=NP问题和计算机领域的关系更为密切，所以P=NP问题被认为是理论计算机和数学领域的综合问题，该问题的研究成果将对计算机领域和现实生活带来巨大的影响。
如克雷数学研究所的约定只要证明或者证伪P=NP问题即可赢取100w美元奖金，其实相比P=NP问题的证明或证否的影响和意义，100w奖金只是皇冠上的一粒尘埃而已。
前面铺垫了一些卖了个关子，快马加鞭一起先来看下 P和NP， 到底是个怎样的问题？
3 P类和NP类问题特征
我在克雷数学研究所官网找到了关于 P和NP问题 的简单说明：
简单意译一下：
假设你正在为400名大学生组织住宿，但是空间有限只有100名学生能在宿舍里找到位置。更复杂的是还给了你一份不相容学生的名单，并要求在你的最终选择中不要出现这份名单中的任何一对。
这是计算机科学家称之为NP问题的一个例子，因为很容易检查一个同事提出的一百个学生的给定选择是否令人满意，然而从头开始生成这样一个列表的任务似乎太难了以至于完全不切实际。
事实上从400名申请者中选择100名学生的方法总数比已知宇宙中的原子数量还要多！这类其答案可以被快速检查，但是通过任何直接的程序需要不可接受长度的时间来解决，比如300年或者更多...
斯蒂芬·库克和列昂尼德·莱文在1971年独立地提出了P(即容易找到)和NP(即容易检查)问题。
P和NP问题是斯蒂芬·库克和列昂尼德·莱文在1971年提出的，从上文的描述中大概知道了P问题和NP问题的主要特征：
P 问题(easy to find)
all problems solvable, deterministically, in polynomial time
译：多项式时间内可解决的问题(当然在多项式时间是可验证的)
NP 问题(esay to check)
non-deterministicPolynomial time
译：非确定性多项式时间可解决的问题
千禧年大奖难题的贝赫和斯维讷通-戴尔猜想
主条目：贝赫和斯维讷通-戴尔猜想数学家总是被诸如 那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇（Yu.V.Matiyasevich）指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s）在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z⑴等于0，那么存在无限多个有理点（解），相反，如果z⑴不等于0，那么只存在有限多个这样的点。
顶级数学家有多野？
很多数学家都有独特的思维模式，都是天才，他们的世界我们无法理解。
他们是非常强悍的，因为他们可以从完全没有的东西当中发现一些数学的真相，然后去证实它，并且对社会产生帮助。
前无古人，后无来者？佩雷尔曼遨游于知识海洋，探索宇宙奥秘！鸿鹄之志，岂能被那些追逐名利的，或那些“务正业”的能理解！
天才在左疯子在右，一般有真才实学的人都是比较狂野的。
科学家的思维和正常人的思维是不一样的，所以说有很大区别，也是真常的
从身无分文到一夜暴富有多遥远？其实，只要解决一道数学题就能实现。2000年5月，由美国富豪出资建立的克莱数学研究所，精心挑选了7大未解数学难题。无论你是数学家还是流浪汉，任何人只要解决其中一题，都可以领走100万美金。七道题也被称为“千禧年数学七大难题”，美国希望通过悬赏的方式高效解决问题，对于数学家而言，无疑也是一次扬名立万的机会。但有这么一位视金钱如粪土的俄罗斯数学天才，解决了七大难题中困扰人类100年的“庞加莱猜想”，却拒绝领取100万美金。
佩雷尔曼
2010年6月，为表彰佩雷尔曼攻克庞加莱猜想，巴黎举行的千禧奖仪式决定授予他100万美元的奖金，但佩雷尔曼却以“对钱不感兴趣”为由，拒绝领奖。对大众而言，这简直难以置信，但在数学界看来，这一点也不令人意外，因为这已经是佩雷尔曼第N次拒绝荣誉和奖金了。
菲尔兹奖
2006年8月，有着数学界诺贝尔奖之称的“菲尔兹奖”，授予了佩雷尔曼，以表彰他在几何学上的贡献。一枚印有阿基米德浮雕头像的奖章和约1.35万美元的奖金，同样被拒之门外。对此，他给出的理由是“没有路费来领奖”。联盟主席约翰鲍尔表示：愿意支付来回所有食宿费，但佩雷尔曼还是不为所动。佩雷尔曼唯一领取的奖是在1982年，他16岁那年在布达佩斯举行的国际代数和几何奥林匹克竞赛中，以满分42分拿到的金牌。
年轻时的佩雷尔曼
此后他便走上了“拒绝”之路，在他拿到金牌后的1个月，耶鲁大学向他抛出橄榄枝，表示愿意提供20万美元的奖学金和解决住房问题。由于政治原因，身为苏联人的他拒绝了美国高等学府的邀请。他还拒绝过1995年斯坦福大学职位的邀请，理由是不能接受要求自己投递简历；1996年拒绝过只颁发给32岁以下数学家的杰出青年数学家奖和不菲的奖金，等等。佩雷尔曼的名气，实际早已盖过他所解决的百年难题——庞加莱猜想。
庞加莱
庞加莱猜想是庞加莱在1904年提出的，属于拓扑学中的难题。拓扑学简单来说，就是将几何图形扭曲拉伸，不断割离和粘合，连续变换后，研究图形中保持不变和规律的一门学科。越是难题，它的问题就越简单，庞加莱猜想的问题简单到只有一句话：“任何一个单连通的封闭三维流形，一定同胚于一个三维球面”。
通俗易懂的语言描述这个问题就是：上图中的小球，我们用一根绳子套住，绳子的两端在黄点位置相遇，如果在黄点用力向左右两端拉绳子，会发现绳子套的圈在慢慢缩小，最后可以缩小到一个点，将绳子收回。庞加莱猜想就是要证明：任何情况下都可以收回绳子的物体是球形。
举个例子：麦哲伦环球航行证明地球是圆的，这并不严谨，如果将地球的南北极贯通，地球就变成了上图中的甜甜圈形状，并不是圆的，但绕一圈也可以回到原点。用收绳子的方法验证这个问题，会发现上图中右下方的红线，绕了甜甜圈一圈，用力拉绳子的两端，绳子会被甜甜圈卡住，无法收回，说明这个图形不是球形。庞加莱猜想可以帮助天文学家探索宇宙的形状，应对未知危机。佩雷尔曼解决庞加莱猜想所用的工具，并非拓扑学知识，而是独辟蹊径利用微分几何学的新知识来证明。2002年11月到2003年7月，他将三篇证明过程，陆续发表在康奈尔大学的ArXiv共享网站上，这个网站是未经审评的论文初稿网站，算不上权威。
第一篇证明过程发表后，佩雷尔曼通过邮件通知了拓扑学专家，哥伦比亚大学的约翰摩根，普林斯顿大学的田刚等人。三组数学团队分别对证明过程进行审查，但由于内容思维极具跳跃性，麻省理工学院索性直接邀请他来学校当面讲解。
2003年4月，麻省理工学院的讲堂里挤满了人，但他们大多数都是来凑热闹的，很多人只想一睹这位数学天才的风采，真正研究过证明过程的人少之又少。直到2006年，田刚和摩根出版了一本研究佩氏证明的专著，对证明过程进行了注解和分析，数学界终于松了一口气，花了3年时间终于能看懂佩雷尔曼写的是什么了。
数学界经过多方校对，确认了证明的正确性，但想要领取100万美金，需要将证明过程发表到权威数学期刊，佩雷尔曼毫不理会这样的规定。最终，克莱数学研究所妥协了，只要佩雷尔曼来领奖就可以了，但他依旧无动于衷。就差直接把100万美元堆在他家门口了。佩雷尔曼很有钱吗？100万美元都不放在眼里。实际上，他已经穷到可以拿救济金的地步了，还经常被误认为是乞丐。
据邻居回忆：每次见他都穿着一件防水布衣和布满灰泥的长裤，在他家旁边住了7年都不知道他叫什么，头发不剪，胡子不刮，刚开始以为是个精神病人。有一次找他帮忙进他家才发现，除了床和电话什么也没有。
佩雷尔曼并非不食人间烟火，偶尔还是会到商场购物。据超市店员回忆，他每次来买的东西都一样：通心粉和面包，还有特定牌子的酸奶，不吃水果，也不沾烟酒。在研究庞加莱猜想的几年时间里，佩雷尔曼辞掉了所有工作，断绝人际交往，仅依靠此前工作的积蓄度日，几乎像是从人间蒸发了。
生活如此贫困却不领奖金，与他人生中几段经历有关。1987年，佩雷尔曼大学毕业后，留在了俄罗斯的司捷克洛夫数学研究所工作，也经常游走于国内外讲学，这使他有了一份不错的收入。但研究所要求，所有人每5年要进行一次职称评比，需要写一定数量的论文，这是硬性要求，佩雷尔曼认为这占据了他大量的时间，并非纯粹的数学研究。有一次在几何研究院，他还与同事发生了争执，最后佩雷尔曼被调往与他研究方向不同的科室，从此他就不再来研究所上班了，1994年开始专心研究庞加莱猜想。恰巧，庞加莱猜想在2000年被评选为千禧年难题，正是这个机遇让人们了解了这位隐世奇才。
2006年，佩雷尔曼被评选上菲尔兹奖后，被告知由西班牙国王颁奖，他说道：“国王又不是数学家，为什么有资格颁奖？”按照佩雷尔曼的原话翻译：“今天他们说你有资格获奖，你就有资格，明天说你没资格，你就没资格”骨子里透露着对组织和制度的厌恶。
实际上，佩雷尔曼在2005年之后就不再是数学家了。他曾向自己的老师抱怨，说对整个数学界的人和体制都失望至极，数学圈的争名夺利，嫉妒他人成果是家常便饭，为了抢夺科研果实的明争暗斗也屡见不鲜。这次，他彻底辞职了。
时至今日，这位曾经满脑子都是数学的男孩已经53岁了，孤身一人并未结婚。他也拒绝了所有媒体的采访，《纽约时报》一篇文章的标题就是：“佩雷尔曼你在哪里？”。有人开玩笑说，他现在说不定正在深山里捡柴火。2014年，有媒体拍到他在瑞典的一家纳米技术公司上班，但很快就不见了踪影。
从整个国家一夜之间变得风雨飘摇，再到家庭的分崩离析。佩雷尔曼最后还是决定，回到俄罗斯圣彼得堡的母亲身边，靠着退休金生活，闲暇之余还会去森林里采摘蘑菇。
将近20年时间，七道千禧年难题，只有庞加莱猜想被攻克，剩下的六题分别是：杨-米尔斯存在性和质量间隔、贝赫和斯维讷通-戴尔猜想、NS方程解的存在性与光滑性、P/NP问题、霍奇猜想、黎曼假设。
人工智能有可能会先于人类解决千禧年七大数学难题中剩下的六个吗？
有可能。这是因为现在人工智能发展的速度非常的快，同时也能够解决很多的疑难问题，非常的智能化。
有可能的，因为现在的人工智能是非常发达的，但未来可能会有一个更好的发展，解决更多的问题。
我觉得人工智能不会先于人类解决这些数学难题，因为人工智能的水平是有限的，人类的智慧是无法被轻易超越的。
当然会的。因为现在我国科技特别的发达，而且人类越来越聪明，所以一定会的。
人工智能不能先于人类解决千禧年七大数学难题中剩余的6个难题。因为人工智能也是人类创造的，它的所有功能都是人类赋予的，如果人类不能够解出数学中的难题，那么人工智能也是不能够解决的。所以我们不要期盼人工智能去解决数学中的难题，一定要发挥人类自己的聪明才智，这样才能够解决数学中的难题。
人工智能有可能会先于人类解决千禧年七大数学难题中剩下的六个吗？我们不能够展望未来，但是我们能够分析现状，小编认为未来的数学和未来的人工智能可能会往往超出我们的想象。在未来的世界可能人类已经能够自如地登上太空，并不需要借助航天器，也有可能人类会在外星球进行生活。有可能在未来人工智能可能会有自己的智慧，他们就能够解决人类遇到的难题，也能够帮助人类解决数学中的难题。但这只是一种猜想，所以小编也不是很确定，但是小编认为人工智能是不能够解决数学中的难题的，因为人工智能的所有功能都是人类赋予的，如果人类本身就不能够解决这些难题，那人工智能也是不能够越过人类去解决难题的。
人工智能的发展是由人类决定的。小编认为人工智能的发展是由人类决定的，如果人类的科学技术一直不停的进步，那么人工智能就有可能发展的越来越好，但人工智能也是不能够越过人类的，它是由人类控制的。毕竟人工智能其实也是一种程序一种机器，它也是没有自己的聪明才智的，不能够自我发展，只能够靠人类不停的进步，不停的升级人工智能。所以小编认为人工智能是没有办法越过人类的它，也不能够解决前几年以来的数学难题。
数学史上有哪些未解决的难题
克雷数学研究所所设立的千禧年大奖难题悬赏的七个待解问题中仍未得到解决六个题目是：复杂度类P对NP问题（理论信息学：计算复杂度）霍奇猜想（数学）黎曼猜想（数学）杨-米尔斯存在性与质量间隙（量子力学）纳维-斯托克斯存在性与光滑性（计算流体力学）贝赫和斯维讷通-戴尔猜想（数学）[编辑] 其它未解问题 [编辑] 堆垒数论 哥德巴赫猜想及哥德巴赫弱猜想华林问题中的g(k)和G(k)的值考拉兹猜想（3n + 1 猜想、角谷猜想）吉尔布雷斯猜想[编辑] 数论：素数 孪生素数猜想是否存在无穷多个四胞胎质数是否存在无穷多个三胞胎质数是否存在无穷多个x??+1素数是否存在无穷多个表兄弟素数是否存在无穷多个六质数是否存在无穷多个梅森素数（OEIS中的数列OEIS:A000688,Lenstra-Pomerance-Wagstaff猜想）；此问题的等价问题是,是否存在无穷多个偶完全数是否存在无穷多个规则素数,且其分布密度是是否存在无穷多个卡伦素数（OEIS中的数列OEIS:A005849）以10为基数时是否存在无穷多个回文素数（OEIS中的数列OEIS:A002385）当n > 4时,是否每个费马数（OEIS中的数列OEIS:A000215）都是合数?78,557是否是最小的谢尔宾斯基数（OEIS中的数列OEIS:A076336）?509,203是否是最小的黎瑟尔数（OEIS中的数列OEIS:A101036）?[编辑] 普通数论 abc猜想是否存在奇完全数（OEIS中的数列OEIS:A000396）?是否存在拟完全数（quasi-perfect number）?是否存在奇的奇异数（weird number）?证明196是利克瑞尔数证明10是个孤独数（solitary number）（OEIS中的数列OEIS:A095739）对任意给定的n,幸福结局问题的解法[编辑] 拉姆齐理论 拉姆齐数的值,特别是R(5,5)范·德·华登数的值[编辑] 普通代数 希尔伯特第16问题阿达马猜想是否存在完美长方体[编辑] 组合数学 幻方（OEIS中的数列A006052）的数目通过随机选择的两个元素产生对称群Sn的概率的公式克雷数学研究所所设立的千禧年大奖难题悬赏的七个待解问题中仍未得到解决六个题目是：复杂度类P对NP问题（理论信息学：计算复杂度）霍奇猜想（数学）黎曼猜想（数学）杨-米尔斯存在性与质量间隙（量子力学）纳维-斯托克斯存在性与光滑性（计算流体力学）贝赫和斯维讷通-戴尔猜想（数学）[编辑] 其它未解问题 [编辑] 堆垒数论 哥德巴赫猜想及哥德巴赫弱猜想华林问题中的g(k)和G(k)的值考拉兹猜想（3n + 1 猜想、角谷猜想）吉尔布雷斯猜想[编辑] 数论：素数 孪生素数猜想是否存在无穷多个四胞胎质数是否存在无穷多个三胞胎质数是否存在无穷多个x??+1素数是否存在无穷多个表兄弟素数是否存在无穷多个六质数是否存在无穷多个梅森素数（OEIS中的数列OEIS:A000688,Lenstra-Pomerance-Wagstaff猜想）；此问题的等价问题是,是否存在无穷多个偶完全数是否存在无穷多个规则素数,且其分布密度是是否存在无穷多个卡伦素数（OEIS中的数列OEIS:A005849）以10为基数时是否存在无穷多个回文素数（OEIS中的数列OEIS:A002385）当n > 4时,是否每个费马数（OEIS中的数列OEIS:A000215）都是合数?78,557是否是最小的谢尔宾斯基数（OEIS中的数列OEIS:A076336）?509,203是否是最小的黎瑟尔数（OEIS中的数列OEIS:A101036）?[编辑] 普通数论 abc猜想是否存在奇完全数（OEIS中的数列OEIS:A000396）?是否存在拟完全数（quasi-perfect number）?是否存在奇的奇异数（weird number）?证明196是利克瑞尔数证明10是个孤独数（solitary number）（OEIS中的数列OEIS:A095739）对任意给定的n,幸福结局问题的解法[编辑] 拉姆齐理论 拉姆齐数的值,特别是R(5,5)范·德·华登数的值[编辑] 普通代数 希尔伯特第16问题阿达马猜想是否存在完美长方体[编辑] 组合数学 幻方（OEIS中的数列A006052）的数目通过随机选择的两个元素产生对称群Sn的概率的公式[编辑] 图论 Erd??s-Gyárfás猜想图的同构问题关于单位距离的图的色数的Hadwiger-Nelson问题为逾渗阈值得到一种闭式表达式,特别是pc（二维方格模型）克雷数学研究所所设立的千禧年大奖难题悬赏的七个待解问题中仍未得到解决六个题目是：复杂度类P对NP问题（理论信息学：计算复杂度）霍奇猜想（数学）黎曼猜想（数学）杨-米尔斯存在性与质量间隙（量子力学）纳维-斯托克斯存在性与光滑性（计算流体力学）贝赫和斯维讷通-戴尔猜想（数学）[编辑] 其它未解问题 [编辑] 堆垒数论 哥德巴赫猜想及哥德巴赫弱猜想华林问题中的g(k)和G(k)的值考拉兹猜想（3n + 1 猜想、角谷猜想）吉尔布雷斯猜想[编辑] 数论：素数 孪生素数猜想是否存在无穷多个四胞胎质数是否存在无穷多个三胞胎质数是否存在无穷多个x??+1素数是否存在无穷多个表兄弟素数是否存在无穷多个六质数是否存在无穷多个梅森素数（OEIS中的数列OEIS:A000688,Lenstra-Pomerance-Wagstaff猜想）；此问题的等价问题是,是否存在无穷多个偶完全数是否存在无穷多个规则素数,且其分布密度是是否存在无穷多个卡伦素数（OEIS中的数列OEIS:A005849）以10为基数时是否存在无穷多个回文素数（OEIS中的数列OEIS:A002385）当n > 4时,是否每个费马数（OEIS中的数列OEIS:A000215）都是合数?78,557是否是最小的谢尔宾斯基数（OEIS中的数列OEIS:A076336）?509,203是否是最小的黎瑟尔数（OEIS中的数列OEIS:A101036）?[编辑] 普通数论 abc猜想是否存在奇完全数（OEIS中的数列OEIS:A000396）?是否存在拟完全数（quasi-perfect number）?是否存在奇的奇异数（weird number）?证明196是利克瑞尔数证明10是个孤独数（solitary number）（OEIS中的数列OEIS:A095739）对任意给定的n,幸福结局问题的解法[编辑] 拉姆齐理论 拉姆齐数的值,特别是R(5,5)范·德·华登数的值[编辑] 普通代数 希尔伯特第16问题阿达马猜想是否存在完美长方体[编辑] 组合数学 幻方（OEIS中的数列A006052）的数目通过随机选择的两个元素产生对称群Sn的概率的公式[编辑] 图论 Erd??s-Gyárfás猜想图的同构问题关于单位距离的图的色数的Hadwiger-Nelson问题为逾渗阈值得到一种闭式表达式,特别是pc（二维方格模型）[编辑] 分析 Schanuel猜想Lehmer猜想Pompeiu问题欧拉-马歇罗尼常数是否无理数克雷数学研究所所设立的千禧年大奖难题悬赏的七个待解问题中仍未得到解决六个题目是：复杂度类P对NP问题（理论信息学：计算复杂度）霍奇猜想（数学）黎曼猜想（数学）杨-米尔斯存在性与质量间隙（量子力学）纳维-斯托克斯存在性与光滑性（计算流体力学）贝赫和斯维讷通-戴尔猜想（数学）[编辑] 其它未解问题 [编辑] 堆垒数论 哥德巴赫猜想及哥德巴赫弱猜想华林问题中的g(k)和G(k)的值考拉兹猜想（3n + 1 猜想、角谷猜想）吉尔布雷斯猜想[编辑] 数论：素数 孪生素数猜想是否存在无穷多个四胞胎质数是否存在无穷多个三胞胎质数是否存在无穷多个x??+1素数是否存在无穷多个表兄弟素数是否存在无穷多个六质数是否存在无穷多个梅森素数（OEIS中的数列OEIS:A000688,Lenstra-Pomerance-Wagstaff猜想）；此问题的等价问题是,是否存在无穷多个偶完全数是否存在无穷多个规则素数,且其分布密度是是否存在无穷多个卡伦素数（OEIS中的数列OEIS:A005849）以10为基数时是否存在无穷多个回文素数（OEIS中的数列OEIS:A002385）当n > 4时,是否每个费马数（OEIS中的数列OEIS:A000215）都是合数?78,557是否是最小的谢尔宾斯基数（OEIS中的数列OEIS:A076336）?509,203是否是最小的黎瑟尔数（OEIS中的数列OEIS:A101036）?[编辑] 普通数论 abc猜想是否存在奇完全数（OEIS中的数列OEIS:A000396）?是否存在拟完全数（quasi-perfect number）?是否存在奇的奇异数（weird number）?证明196是利克瑞尔数证明10是个孤独数（solitary number）（OEIS中的数列OEIS:A095739）对任意给定的n,幸福结局问题的解法[编辑] 拉姆齐理论 拉姆齐数的值,特别是R(5,5)范·德·华登数的值[编辑] 普通代数 希尔伯特第16问题阿达马猜想是否存在完美长方体[编辑] 组合数学 幻方（OEIS中的数列A006052）的数目通过随机选择的两个元素产生对称群Sn的概率的公式[编辑] 图论 Erd??s-Gyárfás猜想图的同构问题关于单位距离的图的色数的Hadwiger-Nelson问题为逾渗阈值得到一种闭式表达式,特别是pc（二维方格模型）[编辑] 分析 Schanuel猜想Lehmer猜想Pompeiu问题欧拉-马歇罗尼常数是否无理数[编辑] 群论 每个被有限表达的周期群是否都是有限的?逆伽罗瓦问题[编辑] 其它 普遍化的星号嵌套深度问题不变子空间问题黑洞归并的建模天使问题[群论 每个被有限表达的周期群是否都是有限的?逆伽罗瓦问题其它 普遍化的星号嵌套深度问题不变子空间问题黑洞归并的建模天使问题分析 Schanuel猜想Lehmer猜想Pompeiu问题欧拉-马歇罗尼常数是否无理数群论 每个被有限表达的周期群是否都是有限的?逆伽罗瓦问题其它 普遍化的星号嵌套深度问题不变子空间问题黑洞归并的建模天使问题图论 Erd??s-Gyárfás猜想图的同构问题关于单位距离的图的色数的Hadwiger-Nelson问题为逾渗阈值得到一种闭式表达式,特别是pc（二维方格模型）分析 Schanuel猜想Lehmer猜想Pompeiu问题欧拉-马歇罗尼常数是否无理数群论 每个被有限表达的周期群是否都是有限的?逆伽罗瓦问题其它 普遍化的星号嵌套深度问题不变子空间问题黑洞归并的建模天使问题
谁证明了p等于np？
谁证明了p等于np如下：
斯蒂文·考克于1971年提出的。
2000年5月，著名的克雷数学研究所提出了“世界七大数学难题”，其中的第一个问题便是NP完全问题，它所探讨的是P=NP是否成立。
P是否等于NP，对于21世纪的人类来说至关重要，因为这个神秘的问题正处于计算机科学与数学的交汇处。
事实上，P=NP问题是“计算复杂性理论”的一部分，它所讨论的是计算机处理能力的极限。我们知道，计算机的工作必须依赖于算法，也就是一系列需要执行的命令。
在完成某些任务时，计算机只需要几微秒就可以实现，但另一些，以目前的计算机算法处理速度则可能需要几十亿个世纪。
首先，P/NP问题是什么？P/NP问题不仅是一个数学问题，同时也是困扰了计算机科学家、经济学家、甚至哲学家多年的问题，是世界级数学难题之一，也被称为千禧年七大数学难题之首。
P指多项式时间（Polynomial），一个复杂问题如果能在多项式时间内解决，那么它便被称为P问题，这意味着计算机可以在有限时间内完成计算NP指非确定性多项式时间。
（nondeterministic polynomial），一个复杂问题不能确定在多项式时间内解决，假如NP问题能找到算法使其在多项式时间内解决，也就是证得了P=NP。
