1***0年左右,麻省理工大学开发了一款叫macsyma的软件,可以计算微积分。
就是很多大学生挂科的高数课,这个软件能做出卷子上90%的微积分题。
——当时微软都没成立。
原理非常朴实无华。
高数课本上会有一张不定积分表,大概有一百多个公式。
对于一道微积分题,软件会枚举这一百多个公式,看看函数有没有被化简。
挑出那些成功化简的结果,再枚举一遍这一百多个公式,看看函数有没有被进一步化简。
直到函数无法化简为止。
90%的微…。