“利用狄利克雷函式邊界點都正則性來構建一個擁有正則性邊界的函式域，而後透過擴域的方式引入曲線方程，限制對偶約化群的概念......”
文津國際酒店的禮堂中，阿圖爾·阿維拉喃喃自語了幾句後眼神陡然明亮了起來，興奮的看向徐川。
“徐，你真不愧是被譽為數學界有史以來最強的天才，太厲害了，利用這種方法，說不定真的能約束和確定一部分自守群的函子性。”
徐川面色一囧，這‘數學界有史以來最強的天才’又是什麼鬼情況？這名稱誰給他安上的？
不過交流討論期間，也沒太在意這個，點了點頭，他順著阿圖爾·阿維拉教授的話接著道：
“不止nnds函子性猜想第一個被驗證的例項是代數數域上gl2的自守表示與四元數代數的乘法子群的表示之間的函子性上。”
“這部經典著作中所證明的函子性同時也提出了阿廷猜想的原始形式與函子性猜想的關係，阿廷猜想也被重新表述為 galois群的二維復表示與 gl2自守群表示之間的函子性猜想。”
“因此，阿廷猜想指出加瓦羅群上構造的阿廷l函式為全純，nnds猜想這些阿廷 l函式實質上都應該是自守群表示的 l函式。”
聞言，阿圖爾·阿維拉教授陷入了沉思，但沒一會，他就勐然醒悟了過來，半疑惑半肯定的道：
“如果能證明阿廷猜想的話，那麼就能將阿廷 l函式在朗蘭茲猜想上的推進一大步？”
徐川點了點頭，道：“從目前的理論上來看，這的確是的。”
隨即，他又搖了搖頭，道：“但是.......”
“但是要解決阿廷猜想這實在太難了。”阿圖爾·阿維拉教授嘆了口氣，將徐川沒有說完的話補充完。
徐川預設，沒有再說話。
阿廷猜想又叫做新梅森猜想，是大名鼎鼎的梅森猜想的推廣衍生，是有關質數的猜想。
如果沒有聽說過阿廷猜想和梅森猜想的話，那麼耳聞能熟的哥德巴赫猜想絕大部分人應該都聽說過。
它們都是一型別的猜想，可以說都是從質數中衍生出來的。
在數學中，人們最早接觸就是0、1、2、3、4這樣的自然數。
而在這樣的自然數中，如果一個數字大於1，且不能被其他自然數整除(除0以外)，那麼這個數字被稱為質數數，也叫做素數。
比1大，但不是素數的數稱為合數，1和0比較特殊，既非素數也非合數。
早在兩千五百年前，當時的人們就注意到了這一奇特的現象，而古希臘數學家幾何之父歐幾里得在他最著名的著作《幾何原本》中提出了一個非常經典的證明。
即：歐幾里得證明了素數有無窮多個，並提出少量素數可寫成“2^p-1”的形式，這裡的指數p也是一個素數。
這個證明被稱之為‘歐幾里得素數定理’，是數論中一個最基本的經典命題。
經典永不過時，後續的數學家在研究‘歐幾里得素數定理’時，衍生出來了各種各樣針對素數的猜想。
從梅森素數猜想開始、到周氏猜測、孿生素數猜想、烏拉姆螺旋、吉爾佈雷斯猜想........到最終異常出名的哥德巴赫猜想等等。
有素數衍生出來的猜想繁多，但絕大部分都沒有被證明。
徐川與阿圖爾·阿維拉教授所聊的新梅森素數猜想，就是從素數中衍生出來的猜想，也叫做阿廷猜想，是最初的梅森素數猜想的升級版本。
在眾多素數的猜想中，難度和孿生素數猜想相當，僅次於大名鼎鼎的‘哥德巴赫猜想’。
：立會就句一的下剩，立述敘句兩中其下以若，p數然自奇何任於對：想猜數素森梅新【
3±)k^4(=p 或1±)k^2(=p、一
）數質森梅（數質是1 -)p^2(、二
】）數質夫塔斯格瓦（數質是3 /]1 +)p^2([、三
。立然自會個一的下剩麼那，個兩中其明證能果如，關相息息題問個三，題問個三有想猜數素森梅新
。標指要重項一的展發力智類人測檢為作曾代年錄筆算手在找尋的數素森梅，上史展發學科在
。明聰越人個這表代則數素森梅的多越來出算計能，樣一目題試測qi的今如像就
。算計的苦艱行進要需還，巧技的純和論理的深高要需僅不究探的它，時大較值p數指當但，單簡似貌然雖數素森梅為因
；數素森梅個8第是1-13^2了明證算心靠，下況的明失目雙在，拉尤的稱之”帝上學數“有素，的名著最
。數素大最的知已上界世時當稱堪，）即（數素的位01有個這
。譽的”子之選天“於愧無說以可巧技題解和力能應反腦大、力能算計的怖恐這，級億十到推字數將算心能拉尤但，錯不很就字數的數位三除乘減加能人通普
。）1減方次的2（1-^2——數素森梅的大最止為今迄了現發，案專的）sig（”索搜大數素森梅路網際網“為名個一加參過，組小究研的導領珀庫-斯柯家學數學大里蘇央中國，候時的年31，外此
。數位了多數素森梅的現發前之比，位有，數素大最的知已前目是也數素該
。里公五十六過超能度長的它，話的來出印打其將型字準標號八十的通普用果如
