> Descarte's insight that geometry could be described by algebra using a coordinate system... This was a new model which made a large class of insights more tr

> Descarte's insight that geometry could be described by algebra using a coordinate system... This was a new model which made a large class of insights more tractable to human minds. A theorem-finding computer probably wouldn't come up with the same kind of model(unless we specifically programmed it to), it would come up with models which made further insights more tractable to theorem-finding computers. Already, today, a huge part of the problem with creative computers is interpreting their results for humans.