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