6月7日数学高考当天，两名特殊的“考生”参与了高考。其中一名北京的“考生”只用了不到十分钟就答完2017年北京卷文科数学题，完成包括客观题和主观题在内的整张试卷，成绩为134分。据称这还是该考生把做题速度放慢六倍的结果。在距离北京两千公里之外的成都，另一名“考生”则花了22分钟做完同样考题，成绩是105分。
两名考生均是智能AI机器人，分别是学霸君开发的智能教育机器人Aidam和成都准星云学科技有限公司开发的人工智能系统AI-Maths。
有观点认为，未来5-10年人工智能或将成为教育行业变革最重要的解决方案，推进智能化教育，构建以学习者为中心的教学模式，能够改进传统教育的不足，弥补传统教育的短板。
智能AI为什么选择考数学？
学霸君开发的智能教育机器人Aidam和成都准星云学科技有限公司开发的人工智能系统AI-Maths选择的都是2017高考数学考试。
为什么智能机器人都热衷于比拼数学呢？
学霸君创始人张凯磊表示，“一千个人心中有一千个哈姆雷特，但是世界上只有一个勾股定理”。数学、物理等理科类科目是强逻辑链路的，考点基本稳定，容易判定对错。同时，数学试卷中包括简单的选择题，也有复杂的需要解题过程的大题，非常适合测试AI。
张凯磊透露，在实验阶段，Aidam的最好成绩是139分，平时的稳定成绩在120-130分。
学霸君首席科学家陈锐锋在考试比赛现场表示，Aidam解题分为三大步骤：第一，把试卷题目变成机器可以理解的形式语言。第二，在用形式语言完整描述了一系列环境之后，计算机就会在知识网络里启动搜索，确认题目触发了哪些知识点，然后进行一系列的推理，找出最佳解题路径。第三，把解题的过程和答案，从形式语言转化为自然语言，完成解题过程。
与Aidam不同，AI-MATHS是另一种思路。成都准星云学科技有限公司CEO、清华大学苏州研究院大数据中心主任林辉向媒体表示，AI-MATHS则是通过综合逻辑推理平台来解题，而非学习储存题库，因此在完全掐断题库、断网、无人干涉、仅有12台服务器、1.2万道题的小样本训练量的诸多限制下，AI-MATHS在今年2月份时取得了93分的成绩。
任林辉透露，在今年2月之前，AI-MATHS仅有100套试题的训练量，从2月开始，为了训练AI-MATHS的答题速度，团队加大了题量，目前AI-MATHS有500套试题的积累。
对比来说，可能AI-MATHS更接近人工智能复杂逻辑推理的自主学习方式。
