日本在线www-日本在线播放一区-日本在线不卡免费视频一区-日本在线不卡视频-成人影院久久久久久影院-成人影院一区二区三区

數(shù)學中的重大問題通常不總會像其他科學領(lǐng)域的謎團一樣能引起外界的興趣。“對于數(shù)學研究是什么樣子或它的意義是什么，許多人仍然困惑不已。”密歇根大學的數(shù)學家Wei Ho說。盡管人們經(jīng)常誤解她工作的性質(zhì)，但Ho說這解釋起來可能并不難。“我在聚會上的閑聊話題總是關(guān)于橢圓曲線。”她補充道。Ho經(jīng)常問參加聚會的人：“你記得中學學過的拋物線和圓嗎？一旦你開始創(chuàng)建三次方程，事情就會變得非常困難。。。。。。關(guān)于它們有很多懸而未決的問題。”

一個名為貝赫和斯維訥通-戴爾猜想（Birch and Swinnerton-Dyer conjecture）的著名未解之謎涉及橢圓曲線方程解的性質(zhì)，它是克雷數(shù)學研究所（Clay Mathematics Institute，CMI）創(chuàng)始科學顧問委員會選定的七個千禧年大獎難題之一，這些選出的問題被該研究所描述為“數(shù)學家在千年之交正在努力解決的問題中最難的一批”。2000年5月24日，在巴黎舉行的一次特別活動中，該研究所宣布為首個證明或推翻任意一個難題的人提供100萬美元的獎勵。2018 年修訂的規(guī)則規(guī)定，結(jié)果必須被“全球數(shù)學界普遍接受”。

2000 年的公告為人們提供了一個價值700萬美元的“理由”來解決這七個問題：黎曼猜想、貝赫和斯維訥通-戴爾猜想、P/NP 問題、楊-米爾斯存在性和質(zhì)量間隙、龐加萊猜想、 納維-斯托克斯存在性與光滑性，以及霍奇猜想。盡管聲勢浩大，還有金錢獎勵，但21年后只有龐加萊猜想得到了證明。

意料之外的答案

2002-2003年，當時在俄羅斯科學院斯特克洛夫數(shù)學研究所的俄羅斯數(shù)學家Grigori Perelman在網(wǎng)上分享了與他解答龐加萊猜想的相關(guān)工作。2010年，CMI宣布Perelman已經(jīng)證明了這個猜想，并在此過程中也解決了已故數(shù)學家William Thurston的相關(guān)幾何化猜想。不過，很少與公眾接觸的Perelman拒絕了獎金。

據(jù)CMI所說，龐加萊猜想聚焦于一個拓撲問題，即三維球面是否“固有”被稱為“單連通”的特性。這個特性意味著如果你用橡皮筋包裹球體的表面，在不扯斷或讓它從表面離開的前提下，你可以將橡皮筋壓縮到一個點。二維球面或甜甜圈孔是單連通的，但甜甜圈（或其他帶有孔的形狀）不是。

牛津大學數(shù)學家兼CMI所長Martin Bridson將Perelman的證明描述為“過去20年當之無愧的重大事件之一”和“我們對三維空間的理解的思想桂冠”。這一發(fā)現(xiàn)可能會在未來帶來更多見解。“證明需要新的工具，這些工具本身正應(yīng)用于數(shù)學和物理學中，影響深遠。”弗吉尼亞大學的數(shù)學家Ken Ono說。

Ono一直專注于另一個千年問題：黎曼猜想，它涉及質(zhì)數(shù)及其分布。2019 年，他和他的同事在《美國科學院院刊》上發(fā)表了一篇論文，重新審視了一種古老的，已經(jīng)被棄用的方法，并用它來尋求答案。在隨附的評論中，普林斯頓高等研究院的數(shù)學家、1974年數(shù)學最高榮譽菲爾茲獎獲得者Enrico Bombieri將這項研究描述為“重大突破”。然而Ono表示，將他的工作描述為“即將證明黎曼猜想”是沒有根據(jù)的。

反面的進展

到目前為止，“列出的問題中僅有一個已經(jīng)得到解決”這一事實對專家來說并不奇怪——畢竟，這些謎題已經(jīng)存在很長時間，而且解答難度驚人。普林斯頓大學的數(shù)學家、2014年菲爾茲獎獲得者Manjul Bhargava表示，目前“已解決的問題數(shù)量比我預期的要多一個”。Bhargava本人最近報告了多項與貝赫和斯維訥通-戴爾猜想相關(guān)的成果。在其中一項成果里，他說他和他的同事“證明超過 66%的橢圓曲線滿足貝赫和斯維訥通-戴爾猜想”。

解答這些問題都不容易，但有些問題可能會格外棘手。P/NP問題看起來很難解決，以致于得克薩斯大學奧斯汀分校的計算機科學家Scott Aaronson稱其“顯示了我們的無知”。這個問題涉及容易驗證的問題（一類稱為NP的查詢）是否也有易于找到的解（一類稱為P的問題）。Aaronson撰寫了大量關(guān)于 P/NP問題的文章。在2009年發(fā)表的一篇論文中，他和高級研究所的數(shù)學家和計算機科學家、2021年阿貝爾獎的獲得者之一Avi Wigderson展示了證明類P與類NP不同的新障礙。Aaronson和Wigderson發(fā)現(xiàn)的障礙是迄今為止發(fā)現(xiàn)的第三個。

麻省理工學院的理論計算機科學家和數(shù)學家Virginia Vassilevska Williams說：“在證明哪些方法行不通的方面，已經(jīng)取得了很多進展……證明類P不等于類NP將是證明密碼學具有良好基礎(chǔ)的重要墊腳石，現(xiàn)在的密碼學基于未經(jīng)證實的假設(shè)。”其中之一就是 P 不等于 NP。“為了表明你無法破解人們在現(xiàn)代計算機中需要的加密協(xié)議，包括那些保護我們的金融和其他在線個人信息安全的協(xié)議，你至少需要證明 P不等于NP。”Vassilevska指出。

“如果讓我用數(shù)字說明說有多大把握，我會說P不等于NP的機會有97%或98%。”Aaronson說。

攀登珠峰

尋找“千禧年大獎難題”的答案類似于第一次嘗試攀登珠穆朗瑪峰，Ono表示：“在此過程中，有許多階梯，它們象征著取得的進展。真正的問題是：你能到達大本營嗎？就算可以，你也知道你仍然離峰頂很遠。”

對于諸如貝赫和斯維訥通-戴爾猜想猜想以及黎曼猜想等問題，Ono說：“顯然我們還在尼泊爾，”——登山的出發(fā)國之一——“但當我們到達大本營之后呢？”數(shù)學家可能仍然需要額外的“裝備”才能到達頂峰。“我們現(xiàn)在正試圖弄清楚數(shù)學中這些‘高科技工具’和‘氧氣瓶’會是什么，它們將幫助我們達到頂峰。”O(jiān)no說。誰知道在當前的研究和這些問題的可能解決方案之間會遇到多少障礙？“也許有 20 個，也許我們比我們想象的更接近。”O(jiān)no說。

盡管這些問題很難，數(shù)學家對長期前景持樂觀態(tài)度。“我非常希望，在我擔任克雷研究所的所長時，其中一個問題會得到解決。”Bridson說。他指出 CMI 正在制定戰(zhàn)略，以最好的方式繼續(xù)引起對這些問題的關(guān)注。“但必須承認，它們是非常困難的問題，可能會在我的余生中繼續(xù)影響數(shù)學卻沒有得到解決。”

來源：《環(huán)球科學》