This is the right approach. Like what OCR does for digitizing volumes of literature.
I disagree. The text is indexed and searchable.
> the meaning of the papers isn't addressed by that.
I agree. I wonder if starting with research papers that have lots of symbolic logic (e.g. math proofs) would be the easiest starting point for a system like this.