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