這七個“千年大獎問題”是: NP完全問題、霍奇猜想、龐加萊猜想、黎曼假設、楊-米爾斯理論、納衛爾-斯托可方程、BSD猜想。
美國麻州的克雷(Clay)數學研究所于2000年5月24日在巴黎法蘭西學院宣
布了一件被媒體炒得火熱的大事:對七個“千年數學難題”的每一個懸賞一百萬美元。
其中有一個已被解決(龐加萊猜想),還剩六個.(龐加萊猜想,已由俄羅斯數學家格里戈里·佩雷爾曼破解。我國中山大學朱熹平教授和旅美數學家、清華大學兼職教授曹懷東做了證明的封頂工作。)
整個計算機科學的大廈就建立在圖靈機可計算理論和計算復雜性理論的基礎上,
一旦證明P=NP,將是計算機科學的一場決定性的突破,在軟件工程實踐中,將革命性的提高效率.從工業,農業,軍事,醫療到生活,軟件在它的各個應用域,都將是一個飛躍.
P=NP嗎? 這個問題是著名計算機科學家(1982年圖靈獎得主)斯蒂文·考克(StephenCook )于1971年發現并提出的.
“千年大獎問題”公布以來, 在世界數學界產生了強烈反響。這些問題都是關于數學基本理論的,但這些問題的解決將對數學理論的發展和應用的深化產生巨大推動。認識和研究“千年大獎問題”已成為世界數學界的熱點。不少國家的數學家正在組織聯合攻關。 可以預期, “千年大獎問題” 將會改變新世紀數學發展的歷史進程。