几天前，人类顶级围棋高手柯洁迎战AlphaGo的热度还没有完全消退，人工智能又搭上了高考的顺风车出来搞事情了。6月7日晚，智能教育机器人Aidam和成都准星云学科技开发的人工智能系统 AI-Maths，分别挑战了17年高考数学试题。Aidam用时9分47秒，成绩是134分；AI-Maths用时22分钟，成绩是105分。惊人啊！
AI-Maths的答题试卷
高考数学题的满分是150分，90分及格，120分优秀。也就是说AI-Maths刚刚过及格分15分，而Aidam也比和它同台竞争的高考状元低了一分。此时你是不是心里犯嘀咕AlphaGo都把人类顶级智商等柯洁打得没脾气了，为啥做个数学题却不尽如人意呢？
Aidam机器人答题发布会现场
高考机器人如何解数学题
这其中涉及最关键的问题可能就是语义理解了。因为机器人需要将自然语言翻译成机器能够理解的语言才能进一步答题。这款机器人究竟是如何运作的呢？
AI-MATHS是国家科技部863计划（又称“超脑计划”）牵头研制的机器人，已研究4年多。清华大学苏州研究院大数据中心主任林辉担任该科技公司的CEO。Aidam是国内领先的中小学智能化教育品牌--学霸君自主研发的智能教育机器人。两个系统都是以深度学习、专家系统和自然语言理解为核心的复杂系统。这个系统的核心在于通过学习人类的编程逻辑，熟悉人类思考和学习的方式，进而掌握解题方法。
AI-Maths机器人，是不是和你想象的不一样？
具体的解题步骤为：
1、自然语言翻译成形式语言，把题目翻译成以“主谓宾”为单位最小描述单位让计算机能够理解。
2、自动证明推理。这是一个多层网络，把知识的基础运算连接成网络。
3、形式语言翻译成自然语言。解题引擎预测出解题步骤之后，输出的是一些形式语言，这时候可以对其进行一个翻译，再转换成人可以理解的自然语言。
和AlphaGo一样，两款机器人也需要每天“喂食”大量的高考试题，以帮助其在深度学习的基础上，达到有“智商”的水平。更加值得一提的是高考机器人参加高考是在完全断网断库的条件下进行的。能够考出一个满意的成绩完全是它日常加紧“学习”的结果。
以下是澎湃新闻发布的一段采访清华大学苏州研究院大数据中心主任林辉的视频，他以专家的视角为我们解读了高考机器人。
（来源：机器人大讲堂、澎湃新闻）
