在四川省人工智能重大科技专项支持下，由中科院成都信息技术股份有限公司牵头实施的“新一代互联网智能教育平台研发与示范应用”课题，突破面向基础教育的知识与数据融合驱动等关键技术，研发了交互式智能教育工具网络画板软件、教育资源云存储与分析诊断模型，构建了新一代互联网多学科实验室体系，实现了自动推理、交互推理，逻辑动画自动生成，程序编写环境智能化，动态学科在线工具分析和应用等功能，探索建立了“互联网+教育+科研+科普”的中小学基础教育智能化模式，获授权发明专利8件，登记软件著作权17件。

       课题成果已应用于科大讯飞、腾讯云、联想教育等牵头建设的国家、省市教育云平台，成果转化产生经济效益2700余万元。课题成果“智能化数学教育理论、技术与应用”达到国际先进水平，其中智能推理等处于国际领先水平，荣获2020年度四川省科技进步二等奖。