“也是前幾在劍國的算學周報上看見的,”劉頓將自己的乾坤鏡拿出來,然後翻到其中瀏覽的一頁遞給衛宮,“劍國的算學學會,每隔一段時間就會向外公布一道算學題,如果之前的題目得到解答,也會將答案公布出來。就像上次衛宮大師解開的世界有多大的謎題一樣。”
劉頓自豪地笑起來,仿佛是發生在自己身上的事情一樣,“那道題目曾經轟動一時,所以在算學學會的周報上麵,連續停留了好幾期,一直到現在還是置頂的狀態。不過上周發布的這個問題也是相當困惑,直到現在還沒人能解答。”
劍國的算學家們出的題目是——
不論用多少條線,將平麵上分割成多個區域乃至無窮個區域,那麼隻需要用四種顏色來給這些區域染色,使得每兩個鄰接區域染的顏色都不一樣;
曆史是如此驚人的巧合,不論在任何世界中,總有那麼一幫人為了探尋世界的真理而存在,同時也會有那麼一幫人,為了數學而著迷。
衛宮瞥了一眼上麵的題目,立刻明白過來,“這道題確實很難。”
他完話,將乾坤鏡交給劍凜櫻,然後挨個傳閱了一遍。
女皇陛下、沅澧還有新來的詩雨姑娘,明顯對他們的談話不是那麼感興趣。
崔瀟瀟瞥了一眼,將乾坤鏡遞還給劉頓。
“不用想了,這個世界上的人證明不了這個問題。”
劉頓有些驚訝於這個不點的口出狂言,也沒有跟她計較,隻是將目光投射到衛宮身上,“看起來很簡單的題目,應該不至於沒人能解吧?”
衛宮搖了搖頭,“四色猜想,看起來是很有意思的一道題,也很容易理解,可是實際上想要證明起來,比想象中卻難多了。確實無法證明。”
他接著到,“四色猜想,另一個通俗的法是:每個無外飛地的地圖都可以用不多於四種顏色來染色,而且不會有兩個鄰接的區域顏色相同。被稱為鄰接的兩個區域是指它們有一段公共的邊界,而不僅僅是一個公共的交點。”
旁邊沅澧用樹枝在地上認真地畫起來。
“感覺很容易理解啊,還挺有意思的,但是這個題目真的很難嗎?”
“對。”崔瀟瀟頭也未抬,用筷子夾起一片三文魚放進嘴裏,“你們不要想了,這道問題最開始被稱為四色猜想,被譽為世界三大數學猜想之一,最後是被人們用計算機輔助證明的。現在連計算機都沒有,光靠人力是沒有辦法進行那麼大規模的計算,也無法給出確切的有效證明的。”
“咦?”衛宮驚訝地轉過頭來看著崔瀟瀟,“連兩百年後,這個問題都沒有得到完美的證明嗎?”
崔瀟瀟吃吃笑起來,“對啊,那幫傻子,隻會埋頭計算,總認為計算機證明是一種偽證明,真正完美的數學應該是簡潔,漂亮得讓人全身震顫的。聽了這種惡心的話,才會起一身雞皮疙瘩好吧。數學是解開世界謎題的基礎,也是探尋世界真相的先行者,這倒是沒錯,畢竟很多物理學上的猜想,有可能是先從數學開始的,比如宇宙的維度。但是,過分執著於表達形式,需要簡潔完美的證明才是真正的數學,也未免太過於狹隘了。”
她的目光中突然多了那麼一份堅定的炙熱,就像要燃燒起來一樣,“曆史的車輪會將迂腐不化的人和一切阻礙前進的事物統統碾壓得粉碎。計算機的出現,不僅僅是作為計算的輔助工具而已,它在未來的數學發展道路上,承擔了非常重要的角色,很多人類無法計算和證明的問題,最後計算機都證明了。並且,發展到世紀的時候,人工智能的超前化,導致它們已經能夠獨立產生數學問題和解答數學問題,並且從人類的正常生產應用中提取數據,構建數學模型,導致因為受到人腦計算限製的愚蠢人類完全看不懂它們問題的產生過程和解答過程,人類對於人工智能過度恐慌,以至於演變出了第一次的機器人戰爭。”