今天下午，高考数学考试结束后，学霸君研发的高考机器人 Aidam 和准星云学研发的“准星数学高考机器人” AI-MATHS 在北京和成都分别迎战 2017 高考数学科目。
Aidam 挑战全国卷二文科数学卷，取得 134 分的成绩;AI-MATHS 先后向北京高考数学文科卷、全国卷二文科数学卷等多张试卷发起挑战，分别获得 105 分和 100 分的成绩。
Aidam：全国卷二文科数学卷 134 分
学霸君研发的高考机器人 Aidam
今日，学霸君研发的高考机器人 Aidam 挑战全国卷二文科数学卷，用时 9 分 47 秒，取得 134 分的成绩(满分 150 分)。
学霸君创始人张凯磊表示：我为自己的女儿(即 Aidam)感到骄傲，她在实验室里取得的最高分是 139 分，平时稳定在 130 分左右。今日参加 PK 的往届高考状元最高分为 146 分，最低分为 119分，状元们认为Aidam 的表现很惊艳。
与 AlphaGo 一样，高考机器人并没有实体，而是一个能自动解题的人工智能系统。据介绍，跟以图像识别和匹配为主的拍照搜题技术不同，通过提前学习和训练，高考机器人能够解答从未出现过的新题目，并给出详细的解题步骤。
机器解题过程展示
在发布会现场，学霸君展示了机器自动解题的过程，如图所示，左边是类似人脑的画面，展示机器人在解题过程中调用了哪些知识点，右边是机器人Aidam自动解题的展示，第一屏幕为题目，第二屏为演算过程，第三屏为答题结果。张凯磊解释说，通常一道题目完成的时间是7-15秒左右，今天为了让观众看清楚机器答题过程，现场答题速度特意放慢了 6 倍。
机器解题的三个步骤
学霸君的首席科学家陈锐锋解释说，机器解题分为三个步骤，第一步是通过句法解构、算式解构和主谓宾解构，转译为机器能看懂的语言，从而让机器读懂题目。第二步是激活神经元之间的连接，机器通过自动证明和推理，得出解题结果，第三步是将解题步骤和结果翻译为人类语言，展示给学生和老师。
机器人得分超过状元，意味着什么呢?张凯磊解释说，研发高考机器人的目的不是为了与人类PK，而是用高考机器人的技术辅助师生的教学，基于Aidam 的技术，学霸君将正式推出 AI 学系统，为学校的师生提供服务。
芥末堆了解到，目前，学霸君与安徽地区的二十多所学校建立合作关系，在班级内测试 Ai 学系统，张凯磊称，目前的实验结果显示，对学生提分很有帮助。
AI-MATHS：北京文科卷 105 分，全国卷二文科数学卷 100 分
“准星数学高考机器人” AI-MATHS
在 Aidam 在北京解答高考数学试卷的同时，“准星数学高考机器人” AI-MATHS 也在成都迎战 2017 高考数学科目。
AI-MATHS 由成都准星云学研发，通过综合逻辑推理平台来解题，而非学习储存题库。AI-MATHS 诞生于 2014 年，于去年 5 月宣布“参加”高考，当时准星云学给 AI-MATHS 定下的目标为 110 分。今年 2 月，在“备考”阶段的AI-MATHS 靠着 1.2 万道的训练量，与成都某中学的学生进行数学考试 PK，在满分 150 分中，取得了 93 分，略低于学生们的平均分 106 分。
由于涉及到试题保密，AI-MATHS 和 Aidam 一样，无法真正参加高考，与全国考生同台、同步竞技。因此，在下午高考数学考试结束的第一时间，准星云学的工作人员，通过网上等各种渠道获取今年高考全国卷及部分省市的数学试题，录入之后，让 AI-MATHS 在断网断库的情况下，进行答题。
18 点 28 分，AI-MATHS 开始实时解答北京高考数学文科卷，18 点 50 分左右，完成所有试题。之后由三位专家进行批卷，最终得分为 105 分(满分 150 分)。
在2017北京高考数学文科卷成绩公布之后，AI-MATHS 又开始了全国卷二文科数学卷的答题，10 分钟内完成所以题目，成绩为 100 分(满分 150 分)。
准星云学 CEO 林辉介绍，由于高考试题的标准答案在 6 月 9 日才会公布，因此，此次AI-MATHS 所对标的答案是由他们请了七八个老师来做题给出的答案。
在 AI-MATHS 答题开始前，林辉就曾向现场记者表示：“管他怎么样，反正我们就是测，科研要没有一万次的失败，就永远别指望成功。”他告诉现场记者，明年断网断库的目标是 130 分。
此外，在接受媒体采访时，林辉还表示，由于 AI-MATHS 的模型、算法是弹性的、可拓展的，未来 AI-MATHS 将不仅限于教育领域，可以在金融、医疗、交通等众多领域实现迁移发展。
对于同日“带机器人参加高考”的学霸君，林辉坦言：“看到张凯磊做这件事我也特别高兴，说明这件事得到了年轻人的认可。”孤木难成林，他希望越来越多的年轻人能进入这个行业，为国家的未来发展尽一份力。
