第65章
關燈
小
中
大
第65章
開幕式過後,領隊梁賀老師和他們打了聲招呼，就被主辦方的工作人員帶走了。
程遲音看著梁賀背影，感嘆一聲：“老師要被關小黑屋了。”
出於公平競賽的目的,各參賽國領隊會被集中到一起出題，每國提供三到五題組成一個約四百道題的大題庫。
作為主辦國的意大利不會參與出題，組成選題委員會在題庫中篩選分類,最後確定六道正式競賽題目,由各國翻譯翻成本國語言，在競賽當天提供給選手們。
梁賀老師在出題期間禁止和外界聯系，要一直等兩天競賽結束才會和他們匯合。
領隊老師走了，將由那位名叫馬修的博大學生充當導游帶領他們參觀各個景點。
天已經完全黑下來，廊燈照著柔和明亮的燈光,各國選手有序退場。
出去後，程遲音遠遠看到馬修在禮堂門口等著，夏青豫朝他招招手，喊了一聲：“哥們兒！”
馬修視線從他身上略過，看向四周。
夏青豫：“……這麽臉盲的嗎。”
幾人在他面前走過幾趟,馬修楞是沒認出來,還是程遲音停在他跟前揮了揮手，馬修視線停在她臉上,才驚喜道：“程,你們出來了。”
於文靖有些無語：“我們在你面前走過幾次了。”
馬修抱歉：“對不起，你們東方人的面孔我有些記不住。”
說完看向程遲音,笑：“但是你的美麗讓我印象深刻。你不說話的時候宛如貝尼尼精心雕琢的雕像,肌膚同象牙一般，黑發像最名貴的絲織品。”
於文靖等人聽到翻譯翻譯過來的話，嘶了一聲,覺得有點牙酸。
這彩虹屁真是張口就來。
程遲音有些不習慣這一連串的比喻，沈默一下，禮貌道謝。
“博洛尼亞的夜晚燈火如晝，你們有想去玩的地方嗎？或者我可以給你們推薦幾個地方。”馬修十分熱情，“附近有不錯的酒吧，我想你們都知道意大利有很多葡萄，同品質的酒我們可比法國酒便宜得多。”
“當然，你們的消費在合理範圍內將由我們來承擔，這一點不用擔心，你們要做的就是享受博洛尼亞的一切美好。”
聽著他喋喋不休的話語，大家卻沒多少游玩的心思，婉拒了馬修的提議後往酒店方向走。
路上一起討論那個名叫艾薩克的AI。
姜一然推了推眼鏡，看著手機屏幕上跳轉出的搜索頁面：“邁倫·鄧斯坦學生階段一直在研究心理學和自動機理論，看他以前的采訪，對創造能夠思考的機器這個想法很著迷。”
邁倫·鄧斯坦的團隊所研究的領域，並不單單是讓AI在一場數學比賽中拿到金牌這麽簡單。
從1945年計算機能夠完成基礎計算開始，到後面玩簡單的棋類游戲、可識別的自動翻譯，再到下圍棋、無人駕駛汽車等等領域的進展。
現在邁倫·鄧斯坦團隊努力的目標是，讓AI真正擁有類似人類的智能。
於文靖接了一句：“他要的是‘真正的’智能，而不是‘人工的’智能。”
程遲音垂下眼睫，思索起這一可能性來。
構建出這樣的一臺機器，是否需要對人腦的覆雜性進行逆向工程？又是否存在一套未知的算法，可以產生邁倫所想要的“真正的”智能？
她對這一領域了解不深，最後搖了搖頭，說出自己的想法：“大腦本質就是一堆服從物理定律的物質，從神經元到意識的各個層面模擬智能，理論上是可以實現的。”
於文靖咋舌，遲疑地說：“但是通用的人類水平的人工智能，至少在未來五十年不會出現吧？”
姜一然扯出一抹淡的幾乎看不到的笑：“所以邁倫將重點先放在本次IMO上。”
讓AI真正擁有類似人類的智能，比如理解一件藝術作品、譜寫出優美的充滿情感的樂曲、實現真人水準的信雅達翻譯、解答極具挑戰的數學問題……
總有人會說機器做不到思考、推理、創造性的工作，而邁倫·鄧斯坦的團隊似乎努力的目標就是打破這一點。
他們在做一件跨時代的事。如果真的成功，給世界帶來的震動和影響不可預估。
程遲音內心其實挺欽佩邁倫·鄧斯坦，但至少這一次IMO。
她擡頭跟其他幾人對視一眼，至少這一次，他們要竭盡全力扞衛人類的智慧在數學領域熠熠生輝的榮耀。
7月25日早上，本屆IMO首日競賽拉開帷幕。
三道題，一題7分，總分21分，考四個半小時。
因為競賽時間長，主辦方在賽場門口準備了食物和飲料，供選手取用帶入考場。參賽的選手來自世界各地，門口提供的食物貼心考慮到各國飲食差異，品類相當多。
程遲音取了一瓶蘇打水和兩塊松餅，在門口媒體們熱切的目光中進入賽場。
“是那個美麗的東方女孩。”
“真難想象會在競賽賽場上看到這樣的面孔。”
“期待她的表現。”
賽場最前列，程遲音看到半人高的艾薩克立在桌面上，身上連接著好幾條電源線。
高強度的算力需要能源支撐。
巧了，和它在同一賽場。程遲音收回目光，走向自己的座位，將蘇打水和松餅放好。
考卷上的三道題已經被翻譯成中文，程遲音看向第一道題。
某班有49個學生，坐成7行7列。每個座位的前後左右叫作它的鄰座，要讓這49位同學都換到他們的鄰座上去，這樣調換位置的方案是否能實現？
程遲音笑了下，暗道：“這道題作為第一道題開局相當合適。”
這題完美體現出IMO的思想：要求題目的解法能夠體現出數學美，且題目足夠簡潔。
題目的題幹連小學生都能聽明白，但是所能體現出來的解題思想卻挺巧妙。
程遲音：“調換到鄰座，看上去每個學生最多能有前後左右四種換位選擇，最少會有兩種，選擇多，換位應當能夠實現，但……”
思考一下就知道並不可能。
作為開胃菜，第一題並不難，程遲音很快寫下她的解答過程。
畫出一個7×7的表格，將49位學生編號依次填入表格，就知道每一次換座實際上都是奇數和偶數的互換。
但49個數，奇數和偶數的位數並不相同，這種互換就不可能實現。
……
IMO的試題難度遞增，第一題開胃菜過去後，第二題難度明顯大了起來。
考試時間足足四個半小時，只有三道題，平均一道題一個半小時的解答時間，所出的題目自然要求極高的思維性。
第二道題是一道平面解析幾何題。
解析幾何最強大之處在於，再覆雜的圖形問題都可以轉換成純運算題。
程遲音看完這道題目，若有所思：“要證明大矩形至少有一條長度為整數的邊，有意思，題目中提到劃分，這個問題可能和拓撲、組合有關聯。直接證明好像行不通，試一下反證法……”
等程遲音做完第二道解析幾何題，時間已經過去兩個小時，她活動一下手腕，沒急著動筆寫第三道題，擰開蘇打水喝了一口。
喝水時視線掃到前方，只見艾薩克也正在用它那雙機械手寫下一行行證明過程。
收回視線，掰下一小塊松餅吃下補充體力，程遲音看向第三道題。
難度遞增的情況下，這道題要比前面兩道更難，乍一看毫無思路。
她感受到挑戰，微微興奮起來：“丟番圖方程，變量出現在指數位置上……”
變量出現在指數位，問題的求解困難度也指數級上升，最典型的就是費馬大定理。
“代數方法來求解應當會更加省事？佩爾方程以及遞歸關系，嗯……可以是可以，但有沒有更加優美簡潔的方法……”
她在紙上推演著思路，筆尖一頓：“有了，模運算，先用模消去……”
第三道題快收尾時，她聽到前方有些許聲音傳來。
擡頭看去，就見艾薩克示意答卷完畢，申請交卷。
他用來顯示表情的電子屏幕上播放了一個笑臉表情。
此時時間剛過去三個半小時，賽場內大部分選手被第二、三道題難住，冥思苦想毫無頭緒，這會兒看到艾薩克交卷，氣氛便有些焦灼起來。
外頭等候的媒體看到這個小機器人第一個出賽場，一片嘩然，紛紛將鏡頭對準了這個小家夥。
在艾薩克走出考場後沒多久，程遲音停下筆。
她沒有急著交卷，小口吃著松餅思索起來。
它真的能理解某些問題中涉及的概念？從現在的情況來看，艾薩克的解題速度很快，只是準確率如何不得而知。
題目對思維的考察性很高，巧妙絕佳的解題思路能否由一個AI給出，也不得而知。
四個半小時時間一到，宣布交卷。
出考場和姜一然於文靖他們匯合，不遠處一堆攝像頭還在對著艾薩克，邁倫先生在旁邊侃侃而談。
姜一然看過那邊，擡頭看她問：“感覺怎麽樣？”
“還不錯。”程遲音點頭，隨後說道，“艾薩克在我們賽場。”
於文靖嘟囔了一聲：“也不知道這個小機器人能拿幾分。”
夏青豫聳聳肩：“別爆0了，邁倫帶它過來抱著宣傳的目的，如果結果完全相反就尷尬了。”
程遲音：“明天就知道了。”
近幾年IMO評分規則改制，一卷一評分，明天一早會公布前一百名的分數，後天再進行第二天的競賽。
從某種角度來講，這種改制是為了選拔出心理素質更好的選手。
次日分數下來，所有人迫不及待打開官網上傳的表格，看到排在第一名的是艾薩克時沈默了一下。
它的名字後面跟著21分這個滿分分數。
好在下面還有五個選手並列第一，在第一天的競賽中都拿到滿分的分數。分別是程遲音、姜一然，還有三個分別來自俄羅斯、美國、韓國的選手。
國外社交媒體上針對此事的討論熱度逐漸發酵。
[該不會今年的金牌第一會被機器人摘走？]
[作為頂級數學競賽，IMO是一場最能代表人類智慧的比賽，其體現的數學之美遠遠不是繁瑣單調的計算，我不敢想象AI可以領略這種數學美，且做出沒有瑕疵的解答]
[這是一件糟糕的事，這也是正在發生的現實，但我不想它太快]
[令人困擾而迷茫]
[我並不擔心人工智能變得太聰明，我擔心的是，人最珍貴的品質可以在AI身上通過簡單的機械方法實現，畢竟今天是數學，明天就有可能是音樂和美術]
在國外社交媒體上的震動漸漸蔓延到國內，本來一場只為小眾關註的賽事，在媒體附加的“人類與AI智慧之爭”“IMO桂冠是否會由機器人摘得”等等吸人眼球的標題傳回國內後，牽動起所有人的心。
[幾年前圍棋人機大戰AI贏了，也沒見大家這麽激動，怎麽輪到數學比賽就影響這麽大？]
[工作原理不一樣啊]
有人給了解釋：
“圍棋那個AI簡單來講，就是用數值網絡和策略網絡對棋盤優勢進行判斷，預測每種下法的勝率變化，本質還是分析、預測。”
“但是IMO的題目不一樣，人家要選的是‘聰明的學生’，重視思維的深度和靈活性，解法很多都精妙到不行。如果AI能做到這個層次，那……”
不管有沒有理解，所有人的關註點都變成了：人類究竟能不能在這一場競賽中勝利。
第二天考試很快到來。
中國奧數隊那邊對程遲音幾個人囑咐道：“第二天的考試要比第一天難很多，細心大膽，幹就完事。”
“原本我希望你們幾個能在拿到團體冠軍的基礎上，個人金牌多拿，最好捧一個金牌第一回 來。現在嘛……現在還是這個要求，金牌第一，別被那個AI拿到了。”
幾人齊齊看向程遲音和姜一然，第一天考試，只有這兩人和其他三個國家的選手拿到滿分。
但第二天考試難度再次增加，還怎麽拿滿分。
競賽開始，大家有序走進考場。
金牌第一。
在今年艾薩克這個特殊對手的加入，變得無比困難起來。
金牌不止一面，第一卻只有一個，要怎麽拿到這個金牌第一。
座位上，拿到試卷，程遲音看完題目有了思路，剛要動筆又停下了。
人的狀態有起伏，機器可沒有。
今天的考試艾薩克大概率還會取得滿分。
那麽就假設最糟糕的情況，如果艾薩克又一次拿了滿分，要怎麽贏？
她盯著題目，放棄了原本的思路。
作者有話要說：換座位那道題引用羅增儒教授所著的《中學數學競賽的內容與方法》
本站無廣告，永久域名（fanyan.cc）
開幕式過後,領隊梁賀老師和他們打了聲招呼，就被主辦方的工作人員帶走了。
程遲音看著梁賀背影，感嘆一聲：“老師要被關小黑屋了。”
出於公平競賽的目的,各參賽國領隊會被集中到一起出題，每國提供三到五題組成一個約四百道題的大題庫。
作為主辦國的意大利不會參與出題，組成選題委員會在題庫中篩選分類,最後確定六道正式競賽題目,由各國翻譯翻成本國語言，在競賽當天提供給選手們。
梁賀老師在出題期間禁止和外界聯系，要一直等兩天競賽結束才會和他們匯合。
領隊老師走了，將由那位名叫馬修的博大學生充當導游帶領他們參觀各個景點。
天已經完全黑下來，廊燈照著柔和明亮的燈光,各國選手有序退場。
出去後，程遲音遠遠看到馬修在禮堂門口等著，夏青豫朝他招招手，喊了一聲：“哥們兒！”
馬修視線從他身上略過，看向四周。
夏青豫：“……這麽臉盲的嗎。”
幾人在他面前走過幾趟,馬修楞是沒認出來,還是程遲音停在他跟前揮了揮手，馬修視線停在她臉上,才驚喜道：“程,你們出來了。”
於文靖有些無語：“我們在你面前走過幾次了。”
馬修抱歉：“對不起，你們東方人的面孔我有些記不住。”
說完看向程遲音,笑：“但是你的美麗讓我印象深刻。你不說話的時候宛如貝尼尼精心雕琢的雕像,肌膚同象牙一般，黑發像最名貴的絲織品。”
於文靖等人聽到翻譯翻譯過來的話，嘶了一聲,覺得有點牙酸。
這彩虹屁真是張口就來。
程遲音有些不習慣這一連串的比喻，沈默一下，禮貌道謝。
“博洛尼亞的夜晚燈火如晝，你們有想去玩的地方嗎？或者我可以給你們推薦幾個地方。”馬修十分熱情，“附近有不錯的酒吧，我想你們都知道意大利有很多葡萄，同品質的酒我們可比法國酒便宜得多。”
“當然，你們的消費在合理範圍內將由我們來承擔，這一點不用擔心，你們要做的就是享受博洛尼亞的一切美好。”
聽著他喋喋不休的話語，大家卻沒多少游玩的心思，婉拒了馬修的提議後往酒店方向走。
路上一起討論那個名叫艾薩克的AI。
姜一然推了推眼鏡，看著手機屏幕上跳轉出的搜索頁面：“邁倫·鄧斯坦學生階段一直在研究心理學和自動機理論，看他以前的采訪，對創造能夠思考的機器這個想法很著迷。”
邁倫·鄧斯坦的團隊所研究的領域，並不單單是讓AI在一場數學比賽中拿到金牌這麽簡單。
從1945年計算機能夠完成基礎計算開始，到後面玩簡單的棋類游戲、可識別的自動翻譯，再到下圍棋、無人駕駛汽車等等領域的進展。
現在邁倫·鄧斯坦團隊努力的目標是，讓AI真正擁有類似人類的智能。
於文靖接了一句：“他要的是‘真正的’智能，而不是‘人工的’智能。”
程遲音垂下眼睫，思索起這一可能性來。
構建出這樣的一臺機器，是否需要對人腦的覆雜性進行逆向工程？又是否存在一套未知的算法，可以產生邁倫所想要的“真正的”智能？
她對這一領域了解不深，最後搖了搖頭，說出自己的想法：“大腦本質就是一堆服從物理定律的物質，從神經元到意識的各個層面模擬智能，理論上是可以實現的。”
於文靖咋舌，遲疑地說：“但是通用的人類水平的人工智能，至少在未來五十年不會出現吧？”
姜一然扯出一抹淡的幾乎看不到的笑：“所以邁倫將重點先放在本次IMO上。”
讓AI真正擁有類似人類的智能，比如理解一件藝術作品、譜寫出優美的充滿情感的樂曲、實現真人水準的信雅達翻譯、解答極具挑戰的數學問題……
總有人會說機器做不到思考、推理、創造性的工作，而邁倫·鄧斯坦的團隊似乎努力的目標就是打破這一點。
他們在做一件跨時代的事。如果真的成功，給世界帶來的震動和影響不可預估。
程遲音內心其實挺欽佩邁倫·鄧斯坦，但至少這一次IMO。
她擡頭跟其他幾人對視一眼，至少這一次，他們要竭盡全力扞衛人類的智慧在數學領域熠熠生輝的榮耀。
7月25日早上，本屆IMO首日競賽拉開帷幕。
三道題，一題7分，總分21分，考四個半小時。
因為競賽時間長，主辦方在賽場門口準備了食物和飲料，供選手取用帶入考場。參賽的選手來自世界各地，門口提供的食物貼心考慮到各國飲食差異，品類相當多。
程遲音取了一瓶蘇打水和兩塊松餅，在門口媒體們熱切的目光中進入賽場。
“是那個美麗的東方女孩。”
“真難想象會在競賽賽場上看到這樣的面孔。”
“期待她的表現。”
賽場最前列，程遲音看到半人高的艾薩克立在桌面上，身上連接著好幾條電源線。
高強度的算力需要能源支撐。
巧了，和它在同一賽場。程遲音收回目光，走向自己的座位，將蘇打水和松餅放好。
考卷上的三道題已經被翻譯成中文，程遲音看向第一道題。
某班有49個學生，坐成7行7列。每個座位的前後左右叫作它的鄰座，要讓這49位同學都換到他們的鄰座上去，這樣調換位置的方案是否能實現？
程遲音笑了下，暗道：“這道題作為第一道題開局相當合適。”
這題完美體現出IMO的思想：要求題目的解法能夠體現出數學美，且題目足夠簡潔。
題目的題幹連小學生都能聽明白，但是所能體現出來的解題思想卻挺巧妙。
程遲音：“調換到鄰座，看上去每個學生最多能有前後左右四種換位選擇，最少會有兩種，選擇多，換位應當能夠實現，但……”
思考一下就知道並不可能。
作為開胃菜，第一題並不難，程遲音很快寫下她的解答過程。
畫出一個7×7的表格，將49位學生編號依次填入表格，就知道每一次換座實際上都是奇數和偶數的互換。
但49個數，奇數和偶數的位數並不相同，這種互換就不可能實現。
……
IMO的試題難度遞增，第一題開胃菜過去後，第二題難度明顯大了起來。
考試時間足足四個半小時，只有三道題，平均一道題一個半小時的解答時間，所出的題目自然要求極高的思維性。
第二道題是一道平面解析幾何題。
解析幾何最強大之處在於，再覆雜的圖形問題都可以轉換成純運算題。
程遲音看完這道題目，若有所思：“要證明大矩形至少有一條長度為整數的邊，有意思，題目中提到劃分，這個問題可能和拓撲、組合有關聯。直接證明好像行不通，試一下反證法……”
等程遲音做完第二道解析幾何題，時間已經過去兩個小時，她活動一下手腕，沒急著動筆寫第三道題，擰開蘇打水喝了一口。
喝水時視線掃到前方，只見艾薩克也正在用它那雙機械手寫下一行行證明過程。
收回視線，掰下一小塊松餅吃下補充體力，程遲音看向第三道題。
難度遞增的情況下，這道題要比前面兩道更難，乍一看毫無思路。
她感受到挑戰，微微興奮起來：“丟番圖方程，變量出現在指數位置上……”
變量出現在指數位，問題的求解困難度也指數級上升，最典型的就是費馬大定理。
“代數方法來求解應當會更加省事？佩爾方程以及遞歸關系，嗯……可以是可以，但有沒有更加優美簡潔的方法……”
她在紙上推演著思路，筆尖一頓：“有了，模運算，先用模消去……”
第三道題快收尾時，她聽到前方有些許聲音傳來。
擡頭看去，就見艾薩克示意答卷完畢，申請交卷。
他用來顯示表情的電子屏幕上播放了一個笑臉表情。
此時時間剛過去三個半小時，賽場內大部分選手被第二、三道題難住，冥思苦想毫無頭緒，這會兒看到艾薩克交卷，氣氛便有些焦灼起來。
外頭等候的媒體看到這個小機器人第一個出賽場，一片嘩然，紛紛將鏡頭對準了這個小家夥。
在艾薩克走出考場後沒多久，程遲音停下筆。
她沒有急著交卷，小口吃著松餅思索起來。
它真的能理解某些問題中涉及的概念？從現在的情況來看，艾薩克的解題速度很快，只是準確率如何不得而知。
題目對思維的考察性很高，巧妙絕佳的解題思路能否由一個AI給出，也不得而知。
四個半小時時間一到，宣布交卷。
出考場和姜一然於文靖他們匯合，不遠處一堆攝像頭還在對著艾薩克，邁倫先生在旁邊侃侃而談。
姜一然看過那邊，擡頭看她問：“感覺怎麽樣？”
“還不錯。”程遲音點頭，隨後說道，“艾薩克在我們賽場。”
於文靖嘟囔了一聲：“也不知道這個小機器人能拿幾分。”
夏青豫聳聳肩：“別爆0了，邁倫帶它過來抱著宣傳的目的，如果結果完全相反就尷尬了。”
程遲音：“明天就知道了。”
近幾年IMO評分規則改制，一卷一評分，明天一早會公布前一百名的分數，後天再進行第二天的競賽。
從某種角度來講，這種改制是為了選拔出心理素質更好的選手。
次日分數下來，所有人迫不及待打開官網上傳的表格，看到排在第一名的是艾薩克時沈默了一下。
它的名字後面跟著21分這個滿分分數。
好在下面還有五個選手並列第一，在第一天的競賽中都拿到滿分的分數。分別是程遲音、姜一然，還有三個分別來自俄羅斯、美國、韓國的選手。
國外社交媒體上針對此事的討論熱度逐漸發酵。
[該不會今年的金牌第一會被機器人摘走？]
[作為頂級數學競賽，IMO是一場最能代表人類智慧的比賽，其體現的數學之美遠遠不是繁瑣單調的計算，我不敢想象AI可以領略這種數學美，且做出沒有瑕疵的解答]
[這是一件糟糕的事，這也是正在發生的現實，但我不想它太快]
[令人困擾而迷茫]
[我並不擔心人工智能變得太聰明，我擔心的是，人最珍貴的品質可以在AI身上通過簡單的機械方法實現，畢竟今天是數學，明天就有可能是音樂和美術]
在國外社交媒體上的震動漸漸蔓延到國內，本來一場只為小眾關註的賽事，在媒體附加的“人類與AI智慧之爭”“IMO桂冠是否會由機器人摘得”等等吸人眼球的標題傳回國內後，牽動起所有人的心。
[幾年前圍棋人機大戰AI贏了，也沒見大家這麽激動，怎麽輪到數學比賽就影響這麽大？]
[工作原理不一樣啊]
有人給了解釋：
“圍棋那個AI簡單來講，就是用數值網絡和策略網絡對棋盤優勢進行判斷，預測每種下法的勝率變化，本質還是分析、預測。”
“但是IMO的題目不一樣，人家要選的是‘聰明的學生’，重視思維的深度和靈活性，解法很多都精妙到不行。如果AI能做到這個層次，那……”
不管有沒有理解，所有人的關註點都變成了：人類究竟能不能在這一場競賽中勝利。
第二天考試很快到來。
中國奧數隊那邊對程遲音幾個人囑咐道：“第二天的考試要比第一天難很多，細心大膽，幹就完事。”
“原本我希望你們幾個能在拿到團體冠軍的基礎上，個人金牌多拿，最好捧一個金牌第一回 來。現在嘛……現在還是這個要求，金牌第一，別被那個AI拿到了。”
幾人齊齊看向程遲音和姜一然，第一天考試，只有這兩人和其他三個國家的選手拿到滿分。
但第二天考試難度再次增加，還怎麽拿滿分。
競賽開始，大家有序走進考場。
金牌第一。
在今年艾薩克這個特殊對手的加入，變得無比困難起來。
金牌不止一面，第一卻只有一個，要怎麽拿到這個金牌第一。
座位上，拿到試卷，程遲音看完題目有了思路，剛要動筆又停下了。
人的狀態有起伏，機器可沒有。
今天的考試艾薩克大概率還會取得滿分。
那麽就假設最糟糕的情況，如果艾薩克又一次拿了滿分，要怎麽贏？
她盯著題目，放棄了原本的思路。
作者有話要說：換座位那道題引用羅增儒教授所著的《中學數學競賽的內容與方法》
本站無廣告，永久域名（fanyan.cc）