当 Alpha Go 又一次出招，三连胜中国围棋天才柯洁之后，或许人们担心的可能是，人工智能下一步又要在哪个领域干掉人类。

　　不过，在考试这件事儿上，经过了大量“学习”的机器人，也还是没能超越人类。不得不说，中国学霸实在威武。

　　昨天是2017年全国高考第一天，在当天的数学考试结束之后，一场人机高考大战的对决在北京上演了：在线教育公司“学霸君”自主研发的智能教育机器人“Aidam”首次公开亮相，通过现场直播的方式，与六名高考状元同台竞技今年全国卷文科数学试题，完成包括客观题和主观题在内的整张试卷，并按照评分标准得出最终成绩。

　　不过，出人意料的是，这一次AI并没有全面碾压人类。阅卷结果显示，三组高考状元分别得分为146分,140分,119分，而Aidam为134分，总分为150分。

　　在成都，“国家队”的成绩表现也不是很理想。由国家863计划 “超脑计划”牵头研制的“高考机器人”，成都准星云学科技有限公司研发设计的数学高考机器人AI-MATHS，在断网断题库的环境下，用时22分钟完成当天北京卷文科数学高考试题。

　　经过现场批阅，成绩为105分(总分150分)。之后，AI-MATHS再次挑战解答全国二卷数学卷，用时10分钟，考了100分(总分150分)。

　　AI-MATHS是由国家863计划 “超脑计划”牵头研制的“高考机器人”， 该“类人智能”项目于2015年7月21日由国家科技部正式启动。

　　在学霸君人机大战考试结束后的对话环节中，小组得分为119的2015年新疆理科状元多力岗表示，对Aidam的成绩有点意外，称“这个比赛结果和我们的预期还是有一定的差距，我们在比赛之后分析了一下，自己在一些细节或者在一些计算方面出了一些问题”。

　　当然，从接近的分数来看，这次Aidam虽然没有完胜，然而其在10分钟解题，获得了134分的成绩，也足够超越一大批考生。

　　学霸君首席科学家陈锐锋在考试比赛的现场解释说，Aidam解题主要分为三大步骤：

　　第一，把试卷题目变成机器可以理解的形式语言。

　　第二，在用形式语言完整描述了一系列环境之后，计算机就会在知识网络里启动搜索，确认题目触发了哪些知识点，然后进行一系列的推理，找出最佳解题路径。

　　第三，把解题的过程和答案，从形式语言转化为自然语言，完成解题过程。

　　而要实现这些，基础是庞大的数据库和人工智能领域多年技术的积累。从学霸君官方披露的数据来看，截至2017年5月，“学霸君”App已经积累超过7000万学生用户，累计已经解决问题100亿道，答疑命中率为93%。

　　那么，为何PK高考状元选择的是数学学科?

　　学霸君创始人兼CEO张凯磊说，“一千个人有一千个哈姆雷特，但是世界上只有一个勾股定理”。