芥末堆 阿槑 吉吉 6 月 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)全國(guó)卷二文科數(shù)學(xué)卷，取得 134 分的成績(jī)；AI-MATHS 先后向北京高考數(shù)學(xué)文科卷、全國(guó)卷二文科數(shù)學(xué)卷等多張?jiān)嚲戆l(fā)起挑戰(zhàn)，分別獲得 105 分和 100 分的成績(jī)。

Aidam：全國(guó)卷二文科數(shù)學(xué)卷 134 分

學(xué)霸君研發(fā)的高考機(jī)器人 Aidam

今日，學(xué)霸君研發(fā)的高考機(jī)器人 Aidam 挑戰(zhàn)全國(guó)卷二文科數(shù)學(xué)卷，用時(shí) 9 分 47 秒，取得 134 分的成績(jī)（滿分 150 分）。

學(xué)霸君創(chuàng)始人張凱磊表示：我為自己的女兒（即 Aidam）感到驕傲，她在實(shí)驗(yàn)室里取得的最高分是 139 分，平時(shí)穩(wěn)定在 130 分左右。今日參加 PK 的往屆高考狀元最高分為 146 分，最低分為 119分，狀元們認(rèn)為 Aidam 的表現(xiàn)很驚艷。

與 AlphaGo 一樣，高考機(jī)器人并沒(méi)有實(shí)體，而是一個(gè)能自動(dòng)解題的人工智能系統(tǒng)。據(jù)介紹，跟以圖像識(shí)別和匹配為主的拍照搜題技術(shù)不同，通過(guò)提前學(xué)習(xí)和訓(xùn)練，高考機(jī)器人能夠解答從未出現(xiàn)過(guò)的新題目，并給出詳細(xì)的解題步驟。

機(jī)器解題過(guò)程展示

在發(fā)布會(huì)現(xiàn)場(chǎng)，學(xué)霸君展示了機(jī)器自動(dòng)解題的過(guò)程，如圖所示，左邊是類似人腦的畫(huà)面，展示機(jī)器人在解題過(guò)程中調(diào)用了哪些知識(shí)點(diǎn)，右邊是機(jī)器人Aidam自動(dòng)解題的展示，第一屏幕為題目，第二屏為演算過(guò)程，第三屏為答題結(jié)果。張凱磊解釋說(shuō)，通常一道題目完成的時(shí)間是7-15秒左右，今天為了讓觀眾看清楚機(jī)器答題過(guò)程，現(xiàn)場(chǎng)答題速度特意放慢了 6 倍。

機(jī)器解題的三個(gè)步驟

學(xué)霸君的首席科學(xué)家陳銳鋒解釋說(shuō)，機(jī)器解題分為三個(gè)步驟，第一步是通過(guò)句法解構(gòu)、算式解構(gòu)和主謂賓解構(gòu)，轉(zhuǎn)譯為機(jī)器能看懂的語(yǔ)言，從而讓機(jī)器讀懂題目。第二步是激活神經(jīng)元之間的連接，機(jī)器通過(guò)自動(dòng)證明和推理，得出解題結(jié)果，第三步是將解題步驟和結(jié)果翻譯為人類語(yǔ)言，展示給學(xué)生和老師。

機(jī)器人得分超過(guò)狀元，意味著什么呢？張凱磊解釋說(shuō)，研發(fā)高考機(jī)器人的目的不是為了與人類PK，而是用高考機(jī)器人的技術(shù)輔助師生的教學(xué)，基于 Aidam 的技術(shù)，學(xué)霸君將正式推出 AI 學(xué)系統(tǒng)，為學(xué)校的師生提供服務(wù)。

芥末堆了解到，目前，學(xué)霸君與安徽地區(qū)的二十多所學(xué)校建立合作關(guān)系，在班級(jí)內(nèi)測(cè)試 Ai 學(xué)系統(tǒng)，張凱磊稱，目前的實(shí)驗(yàn)結(jié)果顯示，對(duì)學(xué)生提分很有幫助。

AI-MATHS：北京文科卷 105 分，全國(guó)卷二文科數(shù)學(xué)卷 100 分

“準(zhǔn)星數(shù)學(xué)高考機(jī)器人” AI-MATHS

在 Aidam 在北京解答高考數(shù)學(xué)試卷的同時(shí)，“準(zhǔn)星數(shù)學(xué)高考機(jī)器人” AI-MATHS 也在成都迎戰(zhàn) 2017 高考數(shù)學(xué)科目。

AI-MATHS 由成都準(zhǔn)星云學(xué)研發(fā)，通過(guò)綜合邏輯推理平臺(tái)來(lái)解題，而非學(xué)習(xí)儲(chǔ)存題庫(kù)。AI-MATHS 誕生于 2014 年，于去年 5 月宣布“參加”高考，當(dāng)時(shí)準(zhǔn)星云學(xué)給 AI-MATHS 定下的目標(biāo)為 110 分。今年 2 月，在“備考”階段的 AI-MATHS 靠著 1.2 萬(wàn)道的訓(xùn)練量，與成都某中學(xué)的學(xué)生進(jìn)行數(shù)學(xué)考試 PK，在滿分 150 分中，取得了 93 分，略低于學(xué)生們的平均分 106 分。

由于涉及到試題保密，AI-MATHS 和 Aidam 一樣，無(wú)法真正參加高考，與全國(guó)考生同臺(tái)、同步競(jìng)技。因此，在下午高考數(shù)學(xué)考試結(jié)束的第一時(shí)間，準(zhǔn)星云學(xué)的工作人員，通過(guò)網(wǎng)上等各種渠道獲取今年高考全國(guó)卷及部分省市的數(shù)學(xué)試題，錄入之后，讓 AI-MATHS 在斷網(wǎng)斷庫(kù)的情況下，進(jìn)行答題。

18 點(diǎn) 28 分，AI-MATHS 開(kāi)始實(shí)時(shí)解答北京高考數(shù)學(xué)文科卷，18 點(diǎn) 50 分左右，完成所有試題。之后由三位專家進(jìn)行批卷，最終得分為 105 分（滿分 150 分）。

在 2017 北京高考數(shù)學(xué)文科卷成績(jī)公布之后，AI-MATHS 又開(kāi)始了全國(guó)卷二文科數(shù)學(xué)卷的答題，10 分鐘內(nèi)完成所以題目，成績(jī)?yōu)?100 分（滿分 150 分）。

準(zhǔn)星云學(xué) CEO 林輝介紹，由于高考試題的標(biāo)準(zhǔn)答案在 6 月 9 日才會(huì)公布，因此，此次 AI-MATHS 所對(duì)標(biāo)的答案是由他們請(qǐng)了七八個(gè)老師來(lái)做題給出的答案。

在 AI-MATHS 答題開(kāi)始前，林輝就曾向現(xiàn)場(chǎng)記者表示：“管他怎么樣，反正我們就是測(cè)，科研要沒(méi)有一萬(wàn)次的失敗，就永遠(yuǎn)別指望成功?！彼嬖V現(xiàn)場(chǎng)記者，明年斷網(wǎng)斷庫(kù)的目標(biāo)是 130 分。

此外，在接受媒體收集時(shí)，林輝還表示，由于 AI-MATHS 的模型、算法是彈性的、可拓展的，未來(lái) AI-MATHS 將不僅限于教育領(lǐng)域，可以在金融、醫(yī)療、交通等眾多領(lǐng)域?qū)崿F(xiàn)遷移發(fā)展。

對(duì)于同日“帶機(jī)器人參加高考”的學(xué)霸君，林輝坦言：“看到張凱磊做這件事我也特別高興，說(shuō)明這件事得到了年輕人的認(rèn)可?！惫履倦y成林，他希望越來(lái)越多的年輕人能進(jìn)入這個(gè)行業(yè)，為國(guó)家的未來(lái)發(fā)展盡一份力。