當(dāng) Alpha Go 又一次出招，三連勝中國圍棋天才柯潔之后，或許人們擔(dān)心的可能是，人工智能下一步又要在哪個領(lǐng)域干掉人類。

不過，在考試這件事兒上，經(jīng)過了大量“學(xué)習(xí)”的機(jī)器人，也還是沒能超越人類。不得不說，中國學(xué)霸實(shí)在威武。

昨天是2017年全國高考第一天，在當(dāng)天的數(shù)學(xué)考試結(jié)束之后，一場人機(jī)高考大戰(zhàn)的對決上演了：在線教育公司“學(xué)霸君”自主研發(fā)的智能教育機(jī)器人“Aidam”首次公開表態(tài)，通過現(xiàn)場直播的方式，與六名高考狀元同臺競技本年全國卷文科數(shù)學(xué)試題，完成包孕客不雅觀題和主不雅觀題在內(nèi)的整張試卷，并根據(jù)評分尺度得出最終成績。

不過，出人意料的是，這一次AI并沒有全面碾壓人類。閱卷結(jié)果顯示，三組高考狀元別離得分為146分,140分,119分，而Aidam為134分。

在考試結(jié)束后的對話環(huán)節(jié)中，小組得分為119的2015年新疆理科狀元多力崗體現(xiàn)，對Aidam的成績有點(diǎn)不測，稱“這個角逐結(jié)果和我們的預(yù)期還是有必然的差距，我們在角逐之后分析了一下，本身在一些細(xì)節(jié)或者在一些計算方面出了一些問題”。

當(dāng)然，從接近的分?jǐn)?shù)來看，這次Aidam雖然沒有完勝，然而其在10分鐘解題，獲得了134分的成績，也足夠超越一大批考生。

學(xué)霸君首席科學(xué)家陳銳鋒在考試角逐的現(xiàn)場解釋說，Aidam解題主要分為三大步驟：

第一，把試卷標(biāo)題問題釀成機(jī)器可以理解的形式語言。

第二，在用形式語言完整描述了一系列環(huán)境之后，計算機(jī)就會在知識網(wǎng)絡(luò)里啟動搜索，確認(rèn)標(biāo)題問題觸發(fā)了哪些知識點(diǎn)，然后進(jìn)行一系列的推理，找出最佳解題路徑。

第三，把解題的過程和答案，從形式語言轉(zhuǎn)化為自然語言，完成解題過程。

而要實(shí)現(xiàn)這些，基礎(chǔ)是龐大的數(shù)據(jù)庫和人工智能領(lǐng)域多年技術(shù)的積累。從學(xué)霸君官方披露的數(shù)據(jù)來看，截至2017年5月，“學(xué)霸君”App已經(jīng)積累超過7000萬學(xué)生用戶，累計已經(jīng)解決問題100億道，答疑命中率為93%。

那么，為何PK高考狀元選擇的是數(shù)學(xué)學(xué)科？

學(xué)霸君創(chuàng)始人兼CEO張凱磊說，“一千個人有一千個哈姆雷特，但是世界上只有一個勾股定理”。

數(shù)學(xué)、物理等理科類科目是強(qiáng)邏輯鏈路的，考點(diǎn)基本不變，容易判定對錯。同時，數(shù)學(xué)試卷中包孕簡單的選擇題，也有復(fù)雜的需要解題過程的大題，非常適合測試AI。

學(xué)霸君創(chuàng)始人兼 CEO 張凱磊，他本人以高考和物理滿分成績考入南開大學(xué)數(shù)學(xué)基地班

對于機(jī)器人來說，形式化語言是自動解題的一大挑戰(zhàn)，而目前數(shù)學(xué)學(xué)科最大的難點(diǎn)在于應(yīng)用題的解題上，期間涉及到一些社會常識和文字性表述等。

在業(yè)內(nèi)人士看來，讓機(jī)器人參加高考，并不是項目的根本目標(biāo)，只是其對于人類智能的一種模擬、擴(kuò)展和延伸。目前來說，高考是一種衡量人的知識水平、理解能力、推理能力等相關(guān)智力水平的測試工具，其包羅了對標(biāo)題問題的理解、知識表示、邏輯推理等方式獲得知識。

在接受鈦媒體等多家媒體采訪時，張凱磊體現(xiàn)，“實(shí)現(xiàn)個性化學(xué)習(xí)，大幅度提升學(xué)習(xí)效率和成果是學(xué)霸君研發(fā)智能教育機(jī)器人的初衷”。

張凱磊告訴鈦媒體，中學(xué)期間大概有3529個考點(diǎn)、平均每個做3-4道題就夠了，寫1萬道標(biāo)題問題可以做完，但目前絕大部分學(xué)生面對的練習(xí)題有3萬—4萬，其中3/4的標(biāo)題問題是不需要寫的，75%的名貴時間都被浪費(fèi)掉了。

學(xué)霸君構(gòu)建于深度神經(jīng)網(wǎng)絡(luò)的句法和語義分析器，在海量題庫中不停強(qiáng)化和擴(kuò)充訓(xùn)練。在K12中，有大部分的數(shù)學(xué)應(yīng)用題，需要知識圖譜和常識才能解決，學(xué)霸君構(gòu)建的是一個真實(shí)標(biāo)題問題海洋的模擬器，逐步提升其對于真實(shí)世界的接近程度。

基于人工智能的專家系統(tǒng)成就了精準(zhǔn)推理。學(xué)霸君推進(jìn)圖像識別、自然語言理解、深度學(xué)習(xí)等人工智能領(lǐng)域的研究，并整合成為智能教育機(jī)器人。其在現(xiàn)有教育環(huán)境下，使機(jī)器判卷、個性化指導(dǎo)、個性化作業(yè)、教案改進(jìn)等釀成可能。

盡管如此，陳銳鋒認(rèn)為，即即是刷題，AI也并不能代替老師。因?yàn)?，任何時候機(jī)器人都沒有措施代替老師講解。好比說，這道題為什么對，為什么錯，解題思路為什么這么想分歧錯誤，為什么那樣想又是對的。但是，AI可以告訴老師說，這個學(xué)生的哪些知識點(diǎn)有問題，應(yīng)該花更多時間在哪些知識點(diǎn)訓(xùn)練，而不是浪費(fèi)在其他已經(jīng)掌握的知識上。