一臺計算機做了一個維基百科大小的數學證明，而人類無法檢查它
如果你認為你在高中做的數學證明很長，你還沒有看到利物浦大學的最新證明——電腦科學家阿列克謝·利西薩和鮑裡斯·科涅夫提出了一個數學證明，它佔據了一個巨大的13G檔案，比維基百科的所有頁面加起來還要大，人類無法檢查。
這是解決Erd的一大步ő由匈牙利數學家保羅埃爾德提出的s不一致問題ő20世紀30年代。Erd公司ős設想了一個無限的數字序列，只包含+1和-1，他想看看這個序列包含內部模式的能力。他提出了一種測量方法，在一個點上切割無限序列，併在其中建立更小的子序列（比如只考慮每三分之一或四分之一個數字）。將子序列的數目相加，就得到了一個稱為差異的數字，它可以作為子序列結構以及整個無限序列的度量。
這個證明輕視了龐大定理的15000頁
Erd公司ő他的主要假設是，任何價值的差異總是可以找到的，但他從來沒有能夠證明這一點。《新科學家》解釋說，僅用12個加號和減號就可以很容易地證明1的差異，但隨著子序列數量的增加，將該方法擴充套件到更高的差異會變得複雜。但是Lisitsa和Konev能夠在這個實驗中使用計算機來“證明”一個無限序列總是有2或更多的差異。然而，這樣做花了計算機6個小時，產生了一個比15000頁的定理更長的證明。
試圖檢查這個證明將是一個不人道的任務-如果檢查一個不符2的證明是如此困難，人類將不可能檢查任何更高不符的證明。它提出了一個非人類數學的問題：如果一個證明只能用計算機來檢驗，人類能接受它是真的嗎？根據以色列耶路撒冷希伯來大學數學研究所的吉爾·卡萊（Gil Kalai）的說法，一個人可能不需要檢查它。他聲稱，如果另一臺電腦能用同樣的結果生成同樣的證明，那麼很可能是準確的。
Lisitsa和Konev已經開始了下一個專案——他們的電腦已經運行了幾個星期，試圖找到一個3的差異結果。
- 發表於 2021-04-25 09:23
- 閱讀 ( 48 )
- 分類：網際網路
你可能感興趣的文章
猿類(apes)和人類(human)的區別
...達爾文創立了進化論，解釋了類人猿在成為人類之前經歷了一系列的進化。因此，類人猿和人類之間有區別。其中，猿類與人類的重要區別在於，猿類可以一邊喝水，一邊呼吸，而人類卻不能做到這一點。此外，人類是一種高度...
不是wolfram alpha:用symbolab解任何數學方程
... 這臺發動機有300多臺計算器。您可以使用計算器（和圖形計算器）求解各種方程，並以PDF格式下載結果。 選一個題目，練習數學方程式。你可以從代數、矩陣、向量、函式、...
linux改變世界的5種令人驚訝的方式
...的成本證明了Linux被採用的一個主要因素，比如每個孩子一臺膝上型電腦。它的任務是向發展中國家的教育機構提供一臺執行Linux的小型機器olpcxo-1。它們能夠在極端天氣下工作，包括潮溼、高溫和陽光照射。 ...
如何解決windows無法自動檢測網路代理設定錯誤
... 由於此錯誤通常與一臺計算機上的錯誤配置設定有關，因此重新啟動路由器可能不會產生影響。但無論什麼時候遇到網路問題，還是值得一試的。 ...
驗證碼是如何工作的，為什麼這麼難？
... CAPTCHA代表完全自動化的公共圖靈測試，用來區分計算機和人類。他們的名字來自艾倫圖靈，創造圖靈測試的天才密碼分析。這是一種檢查機器思維的方法，用來檢查機器的行為是否與人類的行為無法區分。 ...
硬碟大小解釋：為什麼1tb的實際空間只有931gb
有多少次你開啟一臺新電腦、**或外接硬碟，卻發現它沒有盒子上寫的那麼大的儲存空間而震驚？512GB的SSD實際上可能只能容納477GB，或者64GB的iPhone可能只能容納56GB的檔案。 ...
誰發明了第一臺電腦？什麼時候？我們調查
第一臺計算機是什麼時候發明的？聽起來應該是一個簡單的問題來回答，對吧？ ...
如何使用cockpit web介面管理linux伺服器
...需單擊“安裝所有更新” 監視多臺計算機 在嘗試監視另一臺計算機之前，請執行以下步驟： 在另一臺計算機上安裝Cockpit，然後登入Cockpit以驗證它是否正常工作。遠端監控時，不必在遠端計算機上執行瀏覽器介面。然而，如...
不要驚慌，但是所有的usb裝置都有一個巨大的安全問題
...可能會感染它所連線的其他計算機，並且該裝置可能會從一臺計算機到另一臺USB裝置，再到另一臺計算機到另一臺USB裝置，等等。 相關報道：什麼是“偷果汁”，我應該避免公用電話充電器嗎？ 這在過去發生在USB驅動器中，其...
如何找到丟失的windows或office產品金鑰
...的鑰匙。 最棒的是你甚至可以恢復一個金鑰，即使是從一臺不再啟動的計算機上。你所需要的只是從一臺工作的計算機**問磁碟驅動器。繼續讀下去。 你可以在三個地方找到鑰匙 相關：從何處下載Windows10、8.1和7ISOS 您需要的...
