突然落寒不知道想到了什么,他拿出手機開始查看其他各省成績。
果不其然李子舟這個小正太,竟然進決賽了,而且他還是人大附中的組長,拿了83分。
落寒證實了自己的猜想,這個李子舟簡直就是一個心機表。
這下落寒對他印象更差勁了,一個男孩子天天哭哭啼啼的,一點男子漢氣概都沒有。
而且落寒最討厭這種考的還行,然后一副我考砸了求安慰的樣子的人了,落寒認定了李子舟就是靠著年齡小在博同情。
他哪里知道李子舟這個天才少年上高中以前一直順風順水的,樣樣都是第一。
他又是班里最小的,大家都比較讓著李子舟,直到去年進國決失敗,這是他第一次遭受到挫折。
李子舟憋了一口氣,默默的努力一年,就等著今年來雪恥的。
天有不測風云,誰知道題目如此之難,李子舟并沒有把握晉級,他在食堂想到自己努力一年可能會被淘汰了,情緒一下控制不住就哭了起來。
反正只是個路人,落寒沒想兩下就把李子舟從腦海里扔出去,反正以后不讓葉云嫣和他再接觸就好。
國預沒有個人獎項,國決除了設置特等獎,一二三等獎外,還會設置個人的金銀銅牌。
不過只要進了國決就會有將拿這是一定的,高考至少有5分加分,至于會不會被博雅水木等985大學看上提前簽約,就看各自水平及運氣了。
落寒團體特等獎和個人賽金牌是志在必得,要是能提前簽約就更好了。
目前在學校上高中課程對落寒來說就是在浪費時間,落寒在課堂上也不能太過分了,對老師保持必要的尊重那是一定的。
簽約后落寒就能專心按自己的規劃做事了,不過落寒覺得可能性不大。
博雅和落寒簽計算機專業的約有百分之八十的可能性,但問題是他要進入數學專業,博雅估計不會認可落寒的數學水平。
他也沒參加過什么數學競賽,主要就是重生是有點晚,數學競賽的名早都報上去了。
下午還有幾個小時的休息時間,大家把心里的激動興奮發泄完了就都散去了。
落寒和于老師打了一個招呼,獨自一個人徜徉在博雅的校園內,走走停停的看風景,昨天只是粗略的逛了逛,說實話博雅的校園真的是很美。
博雅來都來了,索性好好了解一下自己未來四年將要生活的地方,落寒還特意去看了看醫學部和數院之間的所有路段,就當提前考察一下。
以后少不了在這兩地之間奔波,還有顏偉的計算計學院,就是不知道顏偉能不能考上,以他現在的水平算上加10估計還是有點危險。
落寒記得自己這界西北省一本分數線是近十年來最高的,顏偉和上輩子完全已經是完全不同了,能做的落寒都已經做了。
剩下就看他的現場發揮了,不過有很大可能就算是考上了還會被調劑到別的專業,就是不知道博雅轉專業困不困難。
落寒也沒怎么逛,大概熟悉了一下環境就回去了,晚上還有頓大餐,于老師請客,落寒可還是記得的。
晚上,于老師說話算話,請全體隊員吃了頓大餐,算是壯行。
明后兩天,落寒和他的小組將繼續戰斗,博雅的校園里從不缺少奇跡,亦不缺少人杰,這次,落寒能否創造奇跡?
一夜無話。
三月十八日上午,還是昨天考試的那棟教學樓,博雅二教,國決上半場即將開賽。
賽前所有參賽小組都已經將作品提交,評委們已經有了大致的了解。
國決是分上下半場的,今天8:30―12:30,這是三小時是上半場。
下午14:00―17:00,是下半場。
十二個晉級小組平均分到兩個半場,一個半場六組,落寒他們被分在下半場。
下午兩點,落寒第一個上臺,打開提前準備好的ppt,別上麥克風。
“各位評委老師老師好,我是來自西北省梨城四中的落寒,我這次的參賽作品是一款可以下圍棋的機器人系統,目前系統的圍棋水平已提升至專業四段。”
雖然早已看過落寒提供的系統,但是當他真正說出這款系統下棋水平的時候,臺下的評委都倒吸一口冷氣,有的還表示懷疑,并不相信。
之前他們都覺這款系統能有圍棋業余水平就已經很不錯了,沒想到竟然達到了專業五段。
這可不是什么五子棋,跳棋之類的簡單棋類,而是繁雜無比的圍棋,光是棋譜就有幾十萬種,再加上其排列組合,變換無比復雜。
博雅也有相關的課題組,不過制作出來的成品都沒有這么高的水平。
底下一個帶著眼鏡,四十多歲頭有禿的評委,立刻激動的站起來,出聲打斷道:“這個系統是獨立制作的么?你是采用什么了設計原理?
在沒有外界的資源的幫助下,你如何搜集到大量棋譜,提升其圍棋水平的。”
在看到落寒的系統比自己目前研究的高端許多后,這位評委根本沒辦法控制住自己按照流程等待落寒講解完場后在發問。
因此他直接不顧現場答辯規則,直接打斷落寒的講述,迫切的希望得到答案。
出聲破壞流程的是張衛國,其他評委都面面相覷。
這個老張本來就是個技術癡,他還是研究智能系統這塊的,如今一個不到二十歲的小伙子,在自己浸淫二十多年擅長的方面超越了自己,由不得他不激動。
就跟有個五六歲的小孩,到你面前輕而易舉的解決了你數十年都沒有解決的難題。
其他評委換位思考,要是換做是自己,估計也會和他一樣,甚至更加激動。
哪管的了什么大會流程,所以其他評委都默契的沒有阻止他的發問。
張衛國以為落寒和他們采取了一樣的設計原理,博雅他們設計的系統包含了“策略網絡”“快速落子”和“價值網絡”。整個機器人包含了兩個大腦,“落子選擇器”和“棋局評估器”。
一個四人小組,尤其是其他四人還在打醬油的情況下,落寒想要通過記錄棋譜來提升系統的水平顯然是不可能。
“呃”落寒有點懵,這才剛講一句話就被評委提問了,還這么激動,有點想要沖上臺來的樣子,這什么情況?
還是會長看出來落寒的的疑問,開口到:“衛國,你先坐下,你看你都嚇住這位同學了。
我要是沒記錯,這位同學是叫落寒吧,我們就跳過之前的階段,直接開始答辯吧!
我們都比較想知道你的設計原理。”
臺下的正在等待上臺的其他小組都難以置信。
臺下的評委都是什么人,至少都是博雅的副教授,現在他們都不知道落寒圍棋機器人系統的設計原理。
他們不知道落寒這個系統所代表的含義,不代表這些在行業內研究幾十年的評委們不知道。
如果這個系統真的如落寒所說,那它就象征著計算機技術已進入人工智能的新信息技術時代,其特征就是大數據、大計算、大決策,三位一體。
它的智慧正在接近人類。
“對不起,小同學,你繼續講,我有點激動了。”張衛國此時也反應過來了,訕訕一笑對落寒道了個歉坐下來了。
落寒一看,既然評委們都這么說了,他索性就放棄了之前準備的演講稿,直接回答起問題來。
“我設計的這款系統是基于神經網絡原理,與目前世面上機器人系統最大的區別就是,它不再需要人類數據。
也就是說,它一開始就沒有接觸過人類棋譜。它使用新的強化學習方法,讓自己變成了老師。”
看著臺下的評委都露出一股思索的表情,落寒繼續補充道:
“這個系統一開始甚至并不知道什么是圍棋,只是從單一神經網絡開始,通過神經網絡強大的搜索算法,進行了自我對弈。
隨著自我博弈的增加,神經網絡逐漸調整,提升預測下一步的能力,最終贏得比賽。”
落寒慢慢講訴著自己的設計理念,評委則是越聽越吃驚,心里都泛起驚濤駭浪,就算是不是研究智能系統這一方向的老師,都開始感興趣起來。
“理論上來說,它不光可以成為圍棋機器人,他甚至可以通過自我博弈學習任何一種棋類。”
落寒發現剛才那位評委又開始興奮起來,他趕忙說道:
“不過,我也不知道什么地方出來問題,導致這個系統在提升到職業五段的水平后,就停止不前了,目前我還沒找到解決辦法。”
張衛國一聽又重新平靜下來,繼續問著關鍵問題:
“那你落子時如何選擇的?選擇方案是什么?”
“根據我了解的相關論文文獻,到現在為止所有研究所設計的相關系統,落子時的選擇都是基于兩方面的考慮。”
“一是通過訓練形成一個‘策略網絡’,主要是將棋盤上的局勢作為輸入信息,并對所有可行的落子位置生成一個概率分布。
然后,訓練出一個‘價值網絡’對自我對弈進行預測,以1到1的標準,預測所有可行落子位置的結果。
這兩個網絡自身都十分強大,而目前國際上所有的相關文獻描述的都是,將這兩種網絡整合進基于概率的蒙特卡羅樹搜索中,實現了它真正的優勢。”
張衛國推了推眼鏡,額頭微點,這個落寒肚子里倒是有不少貨啊,他說的正是他們的設計思路。
“而我的系統在設計如何落子時是將上述兩個神經是網絡合二為一,摒棄了棋譜,通過它自己產生大量自我對弈棋局,為下一代版本提供了訓練數據,此過程循環往復。
讓它從低級的對戰慢慢成長,從而讓它能得到更高效的訓練和評估”
落寒停頓了一下,觀察了一下評委,發現他們差不多消化了他所說的信息,繼續道:
“在獲取棋局信息后,圍棋系統會神經網絡中根據策略網絡功能,探索哪個位置同時具備高潛在價值和高可能性,進而決定最佳落子位置。
在分配的搜索時間結束時,模擬過程中被系統最頻繁考察的位置將成為阿爾法圍棋的最終選擇。
在經過先期的全盤探索和過程中對最佳落子的不斷揣摩后,圍棋系統的搜索算法就能在其計算能力之上加入近似人類的直覺判斷。”
前世包括阿爾法系統的舊版本,都是結合了數百萬人類圍棋專家的棋譜,以及強化學習的監督學習進行了自我訓練。
而現在落寒所講述的方法,還沒有任何期刊雜志發表過,毫不過分的說落寒現在的方法是全球首創也不為過。
當然這是在獲得深度睡眠學習系統后,在夢里附身前世阿爾法的機器人的主創人員學到的辦法,只是時間有些短,現在還有一些問題沒有解決。
臺上,落寒對著一堆博雅的教授副教授繼續侃侃而談,回答者他們各種各樣的問題。
落寒根本不像是在進行答辯,反而像是在給他們開報告會,只是地點有些不對罷了。
問題回答的差不多了兩方又開始分析系統沒達到預期效果的原因,集思廣益,所有的評委都參與進來,眾人開始討論。
“我覺的進化到專業五段就停止,問題還是在你構建的單一神經網絡上,會不會是你的網絡太簡略,已經到達了極限無法支撐其繼續自我博弈。”
“我不這么覺得,既然可以自我學習,就代表神經網絡應該沒問題。
可能是你的電腦硬件的方面的問題,儲存空間有限,畢竟你是自己在單打獨奏,設備跟不上是有很大可能的。”
一個皮膚黝黑,理著光頭三十歲左右的老師開口道,這還是他今天第一次開口詢問。
落寒從上午看到這位老師,就有點疑惑他真的是研究計算機的么?
隔著衣服都能感覺到他身上的肌肉塊棱角分明,出去說他是健身教練一點都不為過。