我国第一套智能型教育软件——双全智能教育软件日前正式推出，标志着“用电脑来解决数理化证明问题”这一被全球科学家公认的世界性难题不仅在理论研究上取得重大突破，而且开始进入应用领域。

该软件由我国著名数学家、中国科学院院士张景中教授指导开发，基本覆盖初、高中数理化全部内容，全系列共计11个品种，首批上市为初中代数、立体几何、解析几何、三角函数、初中物理、初中化学等6个品种。

该软件应用了“几何定理的机器证明”这一当前国际最先进的人工智能理论。该理论是张景中院士及其合作者数十年的研究成果，在国际数学界享有盛誉，并获得目前国内计算机学科的最高奖。国家自然科学二等奖，中科院自然科学一等奖，该套软件已经被国家教育部全国中小学教材审定委员会审定通过，作为教育部推荐软件列入中小学教材图书目录。同时被教育部评价为“我国自行开发，达到国际一流水平的软件”、“是教学教育改革的里程碑”。

与传统题库类软件所不同的是：本系列软件的最大特点是智能解题、人机交互、自动推理和动态智能，能自动求解软件使用者提供的题目并显示解题过程。而且也能判断使用者给出的解答是否正确。软件提供了较强的人机交互功能，它可以通过使用者与计算机之间对话自动生成解题过程，启发学生思维，指导学生解题的方法而不是仅仅给出结论，使计算机在很大程度上能够代替教师的提示、指导、解答等工作，帮助教师或学生进行学习辅导。软件以使用者为中心，根据学生的问题和需求运行，实现个性化教学，从而真正达到学习的目的。