[taber]

The technology of mathematics is not theorems. Think of theorems like unit tests: no matter what framework you use to get a result, it should match the corresponding results that other approaches have yielded.

The technology of mathematics is words. Words that define the barriers between abstract objects and their different properties. The set of words that a mathematician uses to approach a problem is where progress is made.

Until a computer can conceptualize a problem outside of the words used to describe it, it will never mimic this aspect of abstract thought.