6月7日下午，筆者有幸在北京現(xiàn)場(chǎng)見證了人機(jī)PK數(shù)學(xué)高考：近三年6位高考狀元與機(jī)器人PK今年高考數(shù)學(xué)，機(jī)器人得分134分，4位往屆高考狀元超過機(jī)器人，兩位119分不如機(jī)器人。
蒞臨現(xiàn)場(chǎng)見證的領(lǐng)導(dǎo)與嘉賓有中國高等教育學(xué)會(huì)瞿振元會(huì)長、陳浩副會(huì)長、王小梅副秘書長;中國教育學(xué)會(huì)常務(wù)副會(huì)長戴家干教授;工信部信息化與軟件服務(wù)業(yè)司朱副司長;中國信息協(xié)會(huì)教育分會(huì)副會(huì)長兼秘書長周長春教授;美國人工智能專家Bing Lin教授、清華大學(xué)、北京師范大學(xué)、張凱磊等專家現(xiàn)場(chǎng)作報(bào)告。領(lǐng)導(dǎo)與專家對(duì)于這次PK給予了高度評(píng)價(jià)。
高考機(jī)器人與AlphaGo 一樣，并沒有實(shí)體，而是一個(gè)能自動(dòng)解題的人工智能系統(tǒng)。據(jù)介紹，跟以圖像識(shí)別和匹配為主的拍照搜題技術(shù)不同，通過提前學(xué)習(xí)和訓(xùn)練，高考機(jī)器人能夠解答從未出現(xiàn)過的新題目，并給出詳細(xì)的解題步驟。
7日下午，高考數(shù)學(xué)考試結(jié)束后，學(xué)霸君研發(fā)的高考機(jī)器人 Aidam 和準(zhǔn)星云學(xué)研發(fā)的“準(zhǔn)星數(shù)學(xué)高考機(jī)器人” AI-MATHS 在北京和成都分別迎戰(zhàn) 2017 高考數(shù)學(xué)科目。Aidam 挑戰(zhàn)全國卷二文科數(shù)學(xué)卷，用了不到10分鐘取得 134 分的成績;AI-MATHS 先后向北京高考數(shù)學(xué)文科卷、全國卷二文科數(shù)學(xué)卷等多張?jiān)嚲戆l(fā)起挑戰(zhàn)，分別獲得 105 分和 100 分的成績。
在發(fā)布會(huì)現(xiàn)場(chǎng)，學(xué)霸君展示了機(jī)器自動(dòng)解題的過程，如圖所示，左邊是類似人腦的畫面，展示機(jī)器人在解題過程中調(diào)用了哪些知識(shí)點(diǎn)，右邊是機(jī)器人Aidam自動(dòng)解題的展示，第一屏幕為題目，第二屏為演算過程，第三屏為答題結(jié)果。張凱磊解釋說，通常一道題目完成的時(shí)間是7-15秒左右，今天為了讓觀眾看清楚機(jī)器答題過程，現(xiàn)場(chǎng)答題速度特意放慢了 6 倍。
學(xué)霸君的首席科學(xué)家陳銳鋒解釋說，機(jī)器解題分為三個(gè)步驟，第一步是通過句法解構(gòu)、算式解構(gòu)和主謂賓解構(gòu)，轉(zhuǎn)譯為機(jī)器能看懂的語言，從而讓機(jī)器讀懂題目。第二步是激活神經(jīng)元之間的連接，機(jī)器通過自動(dòng)證明和推理，得出解題結(jié)果，第三步是將解題步驟和結(jié)果翻譯為人類語言，展示給學(xué)生和老師。
從機(jī)器人解題的過程與結(jié)果來看，或者是滿分，或者是0分。為什么是0分?有可能是句法解構(gòu)、算式解構(gòu)和主謂賓解構(gòu)，轉(zhuǎn)譯為機(jī)器能看懂的語言，從而讓機(jī)器讀懂題目方面的差距，也有可能是機(jī)器人在自主學(xué)習(xí)、假設(shè)、猜測(cè)等等方面還有瓶頸沒有突破。也許這是今后研發(fā)智能機(jī)器人方面需要攻克的。
智能機(jī)器人得分超過狀元，意味著什么呢?研發(fā)高考機(jī)器人的目的是不是為了與人類PK?
