上世纪90年代，全国普通高校招生计算机辅助录取系统工程，在国家教委学生司领导下，北大袁萌任技术总顾问（教委批文：1991[教学司]24号），影响延续至今。
面对全国普通高校招生计算机辅助录取这项“前无古人”的大系统工程，全面系统管理与通讯系统软件开发任务的挑战性是显而易见的，是迎难而上，还是畏缩不前？…….不说了。
如今，三十年过去了。让人没有想到的是，当今，在国内互联网上，袁萌的名字与鲁宾逊无穷小相互“绑定”，……直到永远。
2018年1月16日，国家教育部发布普通高中数学课程新标准，规定微积分下放中学不是梦。
在来年高考试题中，出现“无穷小”选项完全可以预期。袁萌老爷子又回来了。
袁萌 6月7日