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

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

昨天是2017年全國(guó)高考第一天，在當(dāng)天的數(shù)學(xué)考試結(jié)束之后，一場(chǎng)人機(jī)高考大戰(zhàn)的對(duì)決在北京上演了：在線教育公司“學(xué)霸君”自主研發(fā)的智能教育機(jī)器人“Aidam”首次公開(kāi)亮相，通過(guò)現(xiàn)場(chǎng)直播的方式，與六名高考狀元同臺(tái)競(jìng)技今年全國(guó)卷文科數(shù)學(xué)試題，完成包括客觀題和主觀題在內(nèi)的整張?jiān)嚲?，并按照評(píng)分標(biāo)準(zhǔn)得出最終成績(jī)。

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

在成都，“國(guó)家隊(duì)”的成績(jī)表現(xiàn)也不是很理想。由國(guó)家863計(jì)劃 “超腦計(jì)劃”牽頭研制的“高考機(jī)器人”，成都準(zhǔn)星云學(xué)科技有限公司研發(fā)設(shè)計(jì)的數(shù)學(xué)高考機(jī)器人AI-MATHS，在斷網(wǎng)斷題庫(kù)的環(huán)境下，用時(shí)22分鐘完成當(dāng)天北京卷文科數(shù)學(xué)高考試題。

經(jīng)過(guò)現(xiàn)場(chǎng)批閱，成績(jī)?yōu)?05分(總分150分)。之后，AI-MATHS再次挑戰(zhàn)解答全國(guó)二卷數(shù)學(xué)卷，用時(shí)10分鐘，考了100分(總分150分)。

AI-MATHS是由國(guó)家863計(jì)劃 “超腦計(jì)劃”牽頭研制的“高考機(jī)器人”， 該“類(lèi)人智能”項(xiàng)目于2015年7月21日由國(guó)家科技部正式啟動(dòng)。

在學(xué)霸君人機(jī)大戰(zhàn)考試結(jié)束后的對(duì)話環(huán)節(jié)中，小組得分為119的2015年新疆理科狀元多力崗表示，對(duì)Aidam的成績(jī)有點(diǎn)意外，稱(chēng)“這個(gè)比賽結(jié)果和我們的預(yù)期還是有一定的差距，我們?cè)诒荣愔蠓治隽艘幌?，自己在一些?xì)節(jié)或者在一些計(jì)算方面出了一些問(wèn)題”。

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

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

第一，把試卷題目變成機(jī)器可以理解的形式語(yǔ)言。

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

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

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

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

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