人們于是就猜想，是否這類問題，存在一個確定性算法，可以在多項(xiàng)式時間內(nèi)，直接算出或是搜尋出正確的答案呢？這就是著名的NP=P？的猜想。

不管我們編寫程序是否靈巧，判定一個答案是可以很快利用內(nèi)部知識來驗(yàn)證，還是沒有這樣的提示而需要花費(fèi)大量時間來求解，被看作邏輯和計算機(jī)科學(xué)中最突出的問題之一。它是斯蒂文·考克于1971年陳述的。

世界未解數(shù)學(xué)難題之二：霍奇猜想

二十世紀(jì)的數(shù)學(xué)家們發(fā)現(xiàn)了研究復(fù)雜對象的形狀的強(qiáng)有力的辦法?；鞠敕ㄊ菃栐谠鯓拥某潭壬?，我們可以把給定對象的形狀通過把維數(shù)不斷增加的簡單幾何營造塊粘合在一起來形成。

這種技巧是變得如此有用，使得它可以用許多不同的方式來推廣；最終導(dǎo)致一些強(qiáng)有力的工具，使數(shù)學(xué)家在對他們研究中所遇到的形形色色的對象進(jìn)行分類時取得巨大的進(jìn)展。

不幸的是，在這一推廣中，程序的幾何出發(fā)點(diǎn)變得模糊起來。在某種意義下，必須加上某些沒有任何幾何解釋的部件。

霍奇猜想斷言，對于所謂射影代數(shù)簇這種特別完美的空間類型來說，稱作霍奇閉鏈的部件實(shí)際上是稱作代數(shù)閉鏈的幾何部件的(有理線性)組合。

世界未解數(shù)學(xué)難題之三：龐加萊猜想

如果我們伸縮圍繞一個蘋果表面的橡皮帶，那么我們可以既不扯斷它，也不讓它離開表面，使它慢慢移動收縮為一個點(diǎn)。

另一方面，如果我們想象同樣的橡皮帶以適當(dāng)?shù)姆较虮簧炜s在一個輪胎面上，那么不扯斷橡皮帶或者輪胎面，是沒有辦法把它收縮到一點(diǎn)的。