人工智能已经在包括无人驾驶、围棋等多个领域大展身手，但在传统的教育行业，人工智能能发挥怎样的作用呢？

今日，虎哥了解到，成都高新区企业成都准星云学科技有限公司旗下的人工智能系统“准星数学高考机器人”AI-MATHS，将于6月7日挑战2017年高考数学试卷，在高考数学考试结束后第一时间，在全封闭、无网络条件下同时作答多份高考试题。

成都准星云学科技有限公司CEO、清华大学苏州研究院大数据中心主任林辉表示，AI-MATHS是成都准星云学科技有限公司依托清华大学大数据、人工智能、自然语言识别等前沿技术，研发的一款以自动解题技术为核心的人工智能系统。本次挑战结果将应用到对AI-MATHS的技术验证中。

有趣！人工智能机器人参加今年数学高考

据林辉介绍，在数学教育中，存在着很强的逻辑关联关系，利用人工智能技术，可以在理解、逻辑教育方面发挥巨大作用，解放老师从事更富有创造性的工作。2014年诞生的AI-MATHS主要通过综合逻辑推理平台来解题，而非学习储存题库。在掌握了高中数学教育的考点后，AI-MATHS即具备了较强的解题能力。

2016年5月宣布参加2017年数学高考后，准星云学团队在复杂逻辑推理、直觉观察推理、计算机算法、深度学习上进行了深入研究，在今年2月的中期评测中，AI-MATHS取得93分的成绩。在前期1.2万道题的训练基础上，AI-MATHS目前已有500套题的积累。

林辉表示，对于AI-MATHS参加数学高考，并不应该仅仅关注考试的分数，由于此次是在小样本的情况下参加考试，因此更是一种验证理论算法模型的手段，用以检验在小样本的数据学习下，人工智能能达到怎样的效果，这对未来人工智能技术在其他领域的教育成本与效果借鉴意义不言而喻。

与“网红”AlphaGo相比，AI-MATHS有什么不同呢？据林辉介绍，用计算机语言对围棋进行描述工作量并不大，但是下一步棋要考虑都后面几百步的下法。而数学教育涉及上千个考点，因此系统对自然语言的理解更复杂，但是并不需要考虑很深入的东西。因此他判断，未来推理将成为AI研究中的一大趋势。

说起AI-MATHS系统面临的主要困难，林辉表示，这主要体现在系统在自然语言的理解方面。举一个简单的例子，正切函数有多种写法，当遇到没见过的其他写法时，AI-MATHS就会“犯糊涂”，明明会解答的问题也不会了，因此，这也是一个长期的需要“添砖加瓦”的工作。

有用！人工智能助力教育领域效率提高

据林辉介绍，准星云学的核心技术团队由中国科学院院士、国际知名计算机专家、海归精英以及博导组成，参与并主导了国家863课题《基于大数据的类人智能关键技术与系统》中的子课题《初等数学问题求解关键技术及系统》（即数学高考机器人）。目前，准星智能测评及学习平台”已投入研发4年多，公司拥有全套具有自主知识产权的自动解题技术，申报发明专利40多项，形成了复杂逻辑推理引擎平台。

目前，依托这套系统，准星云学已经在教育领域先后研发了可以自动批阅主观题的“准星智能评测系统”、能够快速精准智能提分的“豆豆数学”等AI教育系列产品，并已应用到全国各公立学校、辅导机构中。2015年8月，准星云学获得A轮融资。

准星云学自动批改主观题

林辉表示，准星云学的产品将主要针对两个方向。一是面向老师，成为“助教机器人”，将老师从试卷和作业批改、班级学习数据分析等重复性的工作中彻底解放出来，提高教学效率和效果。二是面向学生，成为“助学机器人”，通过系统快速判断答题对错、锁定知识缺陷并定点清除知识盲点，并提供个人错题本、知识图谱、强化训练等学习诊断分析，提供个性化学习指导。

人工智能究竟有多聪明？能否在高考中取得好的成绩呢？我们拭目以待。

天虎科技 杨梦婷

Tags：高考   数学   林辉