刘鹏预测：也许机器人明年数学高考成绩就能达到上重点大学水平！

今年是中国恢复高考制度的40周年，除了考场上奋笔疾书、同场竞技的同学们，今年也有两位比较特殊的“考生”亮相高考。

AI-Maths

在6月7日晚间，当普通高考生已经结束数学考试，人工智能系统AI-Maths才开始在断网断题库的情况下，进行北京文科数学卷和全国二卷数学卷测验。

当天考场设在成都，参加考试的AI-Maths由10余台服务器组成。开始答题时这些服务器被切断网络连接，保证在隔离的环境下作答，同时由公证机构和媒体出任“监考老师”。

▲AI-Maths在答北京文科数学卷

最后，对于这两套试卷，AI-Maths分别用时22分钟与10分钟，得分是105与100分。虽然成绩算不上学霸，但也是中等水平。

Aidam

在AI-Maths之外，另一位引人瞩目的机器人即Aidam。在北京考场，7日晚间六点四十分，Aidam开始与六名高考理科状元同台对决，共同解答今年高考文科数学试题。

▲Aidam和六名学霸同时开始答题

值得一提的是，当时Aidam所处的考场环境比较嘈杂，不仅循环播放着音乐，时不时还有主持人和嘉宾对话。与此同时，Aidam对解题过程也进行了实时展示。

简单的说，Aidam解题分为三个步骤：

首先，将自然语言翻译成形式语言，把题目翻译成以“主谓宾”为单位的描述方式，从而让计算机能够理解。

第二，进行自动证明推理。在获取形式语言之后，计算机就会在知识网络里启动搜索，确认题目触发的知识点并进行推理，找出最佳解题路径。

最后，将形式语言再翻译成自然语言。解题引擎预测出解题步骤之后，输出的是一些形式语言，需要对其进行翻译，转换成人可以理解的自然语言。

对于这次人机对决，Aidam最后的得分为134分，用时9分47秒；六名状元平均成绩为135分，用时55分钟。

人工智能发展迅速，高考机器人优势明显

人工智能技术的更新升级远远比想象得快。比如就AlphaGo而言，去年与李世石对弈时，AlphaGo用到了上千个处理器，比赛结果是4:1，而今年只用了四个处理器，与柯洁的比赛结果却是3:0。

这是因为，今年与柯洁对战的已经是AlphaGo 4.0版本，而去年的还只是1.0版。

据了解，AlphaGo 每升级一个版本，胜率必须达到90%以上。也就是说，后一版比前一版的胜率比是9:1，那么x2/x1=9/1，x3/x2=9/1，x4/x3=9/1，所以4.0版比上1.0版的胜率: x4/x1=9*9*9=729，今年的AlphaGo比去年至少强大了729倍，但是使用的机器数量却少很多。

视频加载中...

▲以上是我对人工智能的理解

在与柯洁对战之后，AlphaGo仍然在持续升级。最近推出的新版本AlphaGo Zero更是再度刷新了大家的认知。

如果说以前版本的AlphaGo通过向专家学习，学习人类高手的下棋方法，那么AlphaGo Zero却是真真正正的从零开始，自学成才。

AlphaGo Zero使用了一种全新的强化学习方式，从0基础的神经网络开始，与搜索算法结合，不断进化调整、迭代升级，仅用了40天就成为了围棋高手。

除了行业领域的创新推动，早在2015年7月，我国就启动了“高考机器人”的“类人智能”项目。目前，“高考机器人”已经成为国家863计划信息技术领域“基于大数据的类人智能关键技术与系统”项目的重要研究目标之一。

国家对于机器人参加高考的计划是，2020年，考上重点大学。现在AI-Maths得分105分，Aidam得分134分，机器人的发展速度赶超预期，就数学而言，明年机器人的高考成绩将可能普遍达到上重点大学水平！

机器人考上名校?门槛并不低

在高考机器人研究方面，除了中国，日本也很积极。从2013年起，目标是考入东京大学的机器人Torobo每年都会参加日本高考，并在2015年已经考出了511分的成绩，而这个分数可以让普通考生进入日本80%的大学。

虽然物理成绩不错，但受制于语言处理能力，Torobo其他科目的成绩并不理想，其研发负责人也表示，目前Torobo要考上东京大学很难，为此Torobo已经放弃了学业，开始从事大数据分析工作。

可以看出，虽然人工智能的快速发展为高考机器人提供了良好的大环境，但是仍然面临发展瓶颈，逻辑思考、语言处理等一直都是人工智能的短板，对他们而言，解题可能并不是难事，难点在于读懂题，这也就说明了为什么与数学相比，语文才是他们面临的大难题。

当然，乐观地说，如果未来机器人可以在高考分数上达到知名高校的分数线，PK掉普通考生并不是他们的目标，充当机器助教、提供更平均的教育资源才是其发展方向。

图片来自网络。