AI-MATHS
AI-MATHS诞生于2014年，是成都准星云学科技有限公司依托清华大学大数据、人工智能、自然语言识别等技术，研发的一款以自动解题技术为核心的人工智能系统。
中文名：准星数学高考机器人
外文名：AI-MATHS
属性：机器人
创始人：林辉
1、研发背景
2、备战高考
2017年6月7日，中国高考机器人”AI-MATHS，将挑战2017年高考数学科目。
为避开繁琐的高考保密体系并保障考试真实性，AI-MATHS将于6月7日下午全国数学高考结束后立即开始考试。届时，处于封闭、断网状态下的AI-MATHS，会在公证人员、工作人员、媒体的见证下，在两个小时内同时作答多份数学高考试题。
2017年2月，处于“备考”状态的AI-MATHS还曾与成都某中学的学生进行了PK，最终得分93分(满分150分)，低于学生平均分106分。研发方表示，当时AI-MATHS“失败”的原因主要在于应用题的解答：它不能理解题目中“投资”、“理财”等社会常识。
“AI-MATHS在进行逻辑推理前，首先要进行读题，也就是自然语言理解，而自然语言理解是没有边界的。”林辉表示，这正是AI-MATHS与谷歌AlphaGo的区别之一，“我们做的是在感知认知的基础上，加联想、推理，让系统理解数学逻辑关系。”
林辉说，“AI-MATHS近一年多来，在复杂逻辑推理、直觉观察推理、计算机算法、深度学习上都进行了深入攻关。”它已经有500套试题、1万多道题目的训练积累。
这个数字并不多。林辉对此作了一个形象的比喻――聪明的学生，做很少的题，也能考高分；笨学生，做很多题也考不了高分。“我们就是要强调在小样本数据库训练的情况下，系统会有什么样的表现。”林辉说。
林辉表示，此次挑战是验证AI-MATHS的理论体系是否基本完备、是否可持续、快速发展的一个手段，“如果这个系统可以做数学，那么系统就可以用这套理论体系去学习金融、医疗、工业4.0等行业中的业务逻辑，从而应用到经济和社会的发展中去。”
3、挑战高考
2017年高考第一天，数学高考机器人AI-MATHS首次公开挑战高考试题。
19时16分，成都准星云学科技有限公司研发设计的数学高考机器人AI-MATHS，在断网断题库的环境下，用时22分钟完成当天北京卷文科数学高考试题的解题，经过现场批阅，成绩为105分（总分150分）。
此后，AI-MATHS再次挑战解答全国二卷数学卷，用时10分钟。全卷总分100分（总分150分）。
这次自动解题技术阶段性公开测试的整个过程由公证机构见证。
测试结束后，该公司首席执行官林辉则表示，对结果留有遗憾。“由于现场环境，我们把答题时间控制在半小时内，如果增加到一个半小时，分数还能增加10来分。”项目首席专家成都电子科技大学的符红光教授称，AI-MATHS最终目标是达到120分到130分。
推荐阅读