研究abc猜想的其實不算個熱門圈子。
但在今年年初，在格羅滕迪克引導漆昊去研究斯皮羅猜想後，這冷清的圈子熱度開始上升。
數學界的人都知道修正版斯皮羅猜想與 abc猜想互為等價命題，意味著漆昊選擇了一條能夠間接攻克 abc猜想的賽道。
現在再疊加望月新一高調官宣完成證明，兩大公認的天才一下要對上了，這圈子一下吸引了全球數論研究者的全部注意力。
訊息傳到華國的時候，斯皮羅正在和費先科討論一道題的中間對映的邊界條件。
“望月新一發了abc猜想的證明。”接到訊息的斯皮羅說道。
“abc猜想？”
費先科一臉驚訝：“和修正版斯皮羅猜想等價的那個？”
“對。”
“論文在哪兒？”
“京都大學數理解析研究所官網，arxiv上沒有。”
“不上傳arxiv直接發在機構官網？”
費先科放下粉筆，轉過身來，眉頭擰成一個疙瘩：“算了先不管這個，我們先下載論文。”
兩人一起湊到電腦面前，將論文pdf檔案下載後開啟，發現竟然有五百多頁。
“五百多頁？”
費先科倒吸一口涼氣：“這比法爾廷斯證明莫德爾猜想那篇論文還厚。”
“宇宙際泰希米勒理論。”
斯皮羅此時已經看向了正文：“這什麼東西？”
費先科往下翻了一頁，目錄展開在螢幕上，論文的結構龐大得讓人窒息，建立全新的範疇論框架，定義一系列全新的數學物件，這些物件之間的對映關係組成了一個非常複雜的交換圖網路，每一個節點都是一套獨立的定義體系，每一條箭頭都是一套獨立的定理鏈。
斯皮羅這個時候已經明白了：“謝特，他是先造了一個全新的數學理論，然後在這個理論裡證明abc猜想是成立的。”
費先科拿過斯皮羅手裡的滑鼠，把論文翻到了正文部分。
他讀了幾頁，臉上的表情從專注變成了困惑。
他發現斯皮羅說的沒錯，望月新一使用的概念、符號和推理框架，跟傳統代數幾何的東西完全不同。
望月自己發明了一整套全新的語言，然後用這種語言寫了一個長達五百頁的論證。
斯皮羅指著螢幕上的一個長公式：“你看這裡，他定義了一個叫做霍奇劇院的物件，看起來像是某種把遠阿貝爾群和霍奇結構放在同一個範疇裡處理的方式，但這個定義方式跟德利涅的混合霍奇結構完全不是一回事。”
“因為他根本就沒打算用德利涅的框架。”
費先科說：“他是在遠阿貝爾幾何的基礎上進一步向外突破。”
“格羅滕迪克的遠阿貝爾幾何？”
”。人個百一過超不該應者學的題問關相做立獨，獻文進跟夠能界世全，論疇範和何幾算、何幾數代通時同求要它，了難太何幾爾貝阿遠，對“：頭點科先費
”。了棄放者或了行轉他為以都家大，面上議會際國在麼怎沒年幾十，學大都京了回頓斯林普開離他來後，懂聽沒人多很有就時當，用應的上線曲曲雙在何幾爾貝阿遠是就的講，候時的告報做頓斯林普在前之他，個一的中人群那是就一新月“
”。懂看能人多沒上界世個這前目，論理套這計估我，論理學數的新全了出生衍上何幾爾貝阿遠在又月在現“
”。人的它懂讀能數是好恰我，是的運幸“
”。以可也兒準沒，論數和何幾數代通人有果如“：說地酌斟，眼一他了看羅皮斯
”？誰了到想你“：道問疑科先費
”。昊漆“
……
。話說有沒直一腦電著對昊漆
。真認常非，翻下往地頁一頁一，地慢緩上板控在指手手右，下著託手左的他
。才天個是也，代一上的他在一新月，過說夫科維諾
。眼一看去不由理沒他，文論的關相向方究研前目他和了表發方對那，貨水種那生羽是不月然既
