摘要：
出人意料的是，这一次AI并没有全面碾压人类。阅卷结果显示，三组高考状元别离得分为146分、140分、119分，而Aidam为134分。
当 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可以告诉老师说，这个学生的哪些知识点有问题，应该花更多时间在哪些知识点训练，而不是浪费在其他已经掌握的知识上。
