第380章 AI for Math
第三十屆國際數學家大會落幕，還沒幾天。
大洋彼岸，美國，馬薩諸塞州，劍橋市鮑街1號。
克雷數學研究所總部那間不大的會議室裡，幾位科學顧問委員，又一次圍著那張長桌坐了下來。
窗外天色陰沉，桌上幾杯咖啡都沒怎麼動過。
和上一回一樣，這次他們要談的還是李氏猜想的事。
哦，不對。
到了今天，這東西該改口叫它李氏定理了。
最先沉不住氣的，是馬爾科姆·格里芬。
他把手裡那支筆往桌上一放，語氣裡全是憋了好些天的窩火。
“我說各位，李氏猜想咱們前腳才把它掛上去，還不到半個月，後腳就讓人給證出來了。”
“這下可好，全世界都瞧著呢，咱們克雷研究所，成了個天大的笑話。”
話音剛落，就有人不同意了。
證明了費馬大定理的懷爾斯，慢條斯理地搖了搖頭。
“格里芬，你先想清楚一件事。”
“李氏定理一出來，朗蘭茲綱領裡最核心的方向——函子性，是不是被人鑿開了一道最關鍵的口子？”
會議室裡安靜了一下。
這個問題，沒人能反駁。
函子性是個什麼東西，在座的沒一個不清楚。
過去半個世紀裡那些被人反反覆覆提起的里程碑——谷山志村也好，還是那條讓無數人折戟沉沙的基本引理也好，歸根到底，都不過是函子性這條主線上的一個特例罷了。
如今，有人把這條主線最核心的一段，硬生生給走通了。
懷爾斯接著往下說。
“我再問你，咱們克雷懸賞一個猜想，難道是圖它不會被人證出來嗎？”
“一個猜想配不配掛上去，從來就只看它的分量夠不夠重、影響夠不夠大，跟它好不好證，幾年能不能證出來，半點關係都沒有。”
“真要是圖一個‘永遠證不出來’……”說到這兒，懷爾斯頓了頓，嘴角浮起一點意味不明的笑。
“那咱們當年，為什麼不乾脆把連續統假設掛上去？”
CH（連續統假設）
本質上就是數學家康托爾（Georg Cantor）在1878年提出的一個關於“無窮大等級”的終極猜想。
。事的單簡很件一是實其的問它
。合集個一麼這有沒有底到，間中數實跟數整在
。數實比地格嚴又，多數整比地格嚴小大的它
。病出不挑都字個一，合嚴得述表，題命個這
。翻不推也，來出不證既，下底理公套這CFZ在偏偏它可
。半一了證先爾德哥，年0491
。它偽證法沒你，說是就也，定否的它出不推CFZ
。半一另了上補恩科，年3691
。它明證法沒也你，說是就也，本它出不推樣同CFZ
。明證”立獨“的典經最上史學數了出給，擊夾頭兩的恩科和爾德哥
。的偽證被能不也，明證被能不既是架框學數準標在設假統續連
。”題命立獨“個一是它
。重很量分，問反句那斯爾懷以所
。票支頭空張一的去出不發遠永了就可，金獎的金萬百一那，去上掛設假統續連把真要雷克
