由著名数学家、中国科学院院士张景中教授指导开发的我国第一套智能教育软件——双全智能教育软件日前在北京问世。这标志着“用电脑来解决数理化证明问题”这一被全球科学家所公认的世界性难题不仅在理论研究上取得重大突破，而且开始进入应用领域，并将在城镇居民家庭中逐步普及。

    据张景中教授介绍，智能教育软件与传统题库类软件相比，其最大的特点是：智能解题、人机交互、自动推理和动态作图。它不仅能自动求解软件使用者提供的题目、显示解题过程，而且还能判断使用者给出的解答是否正确。

    软件提供了较强的人机交互功能，可以通过使用者与计算机之间对话自动生成解题过程，启发学生思维，指导学生解题的方法而不是仅仅给出结论，使计算机在很大程度上能够代替教师的指示、指导、解答等工作，帮助教师和家长对学生进行学习辅导。软件以使用者为中心，根据学生的问题和需求运行，实现个性化教学，从而真正达到素质教育的目的。

    也有学者指出，智能教育软件的诞生，大大减轻了教师的工作负担，但同时也给教师提出了新的挑战。对于教师来说，只有不断提高自身的教学水平，才不至于落到“无生可教”的尴尬境地。

    据悉，该软件基本覆盖了初、高中数理化的全部内容，首批上市的有初中代数、立体几何、解析几何、三角函数等4个品种。目前，该软件已经教育部全国中小学教材审定委员会审定通过，作为教育部推荐软件列入中小学教材图书目录。教育部对它的评价是：“我国自行开发、达到国际一流水平的软件”、“教育教学改革的里程碑”。