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

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

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

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

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

當然，從接近的分數來看，這次Aidam雖然沒有完勝，然而其在10分鐘解題，獲得了134分的成績，也足夠超越一大批考生。

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

第一，把試卷標題問題釀成機器可以理解的形式語言。

第二，在用形式語言完整描述了一系列環境之后，計算機就會在知識網絡里啟動搜索，確認標題問題觸發了哪些知識點，然后進行一系列的推理，找出最佳解題路徑。

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

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

那么，為何PK高考狀元選擇的是數學學科？

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

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

學霸君創始人兼 CEO 張凱磊，他本人以高考和物理滿分成績考入南開大學數學基地班

對于機器人來說，形式化語言是自動解題的一大挑戰，而目前數學學科最大的難點在于應用題的解題上，期間涉及到一些社會常識和文字性表述等。

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

在接受鈦媒體等多家媒體采訪時，張凱磊體現，“實現個性化學習，大幅度提升學習效率和成果是學霸君研發智能教育機器人的初衷”。

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

學霸君構建于深度神經網絡的句法和語義分析器，在海量題庫中不停強化和擴充訓練。在K12中，有大部分的數學應用題，需要知識圖譜和常識才能解決，學霸君構建的是一個真實標題問題海洋的模擬器，逐步提升其對于真實世界的接近程度。

基于人工智能的專家系統成就了精準推理。學霸君推進圖像識別、自然語言理解、深度學習等人工智能領域的研究，并整合成為智能教育機器人。其在現有教育環境下，使機器判卷、個性化指導、個性化作業、教案改進等釀成可能。

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