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