But wouldn't a different data structure/database be better suited for this approach, than LaTeX?
I mean, you can still just babble but style it in LaTeX ... and the AI would have to find out, that your're saying nothing.
This would require true AI.
I mean, I don't know much about LaTeX, but I doubt there are Elements for "Hypthese", "Definition", "exact reference" etc.
If you would have those, described in a structured, simple language - then I guess, it will be much easier to process those Information for a KI, when the context is clear.
True. I work at Google now, and my advice would be to just write standard XHTML and let Google's parsers do their best job at inferring the meaning of the text.
I want AIs to automatically find conflicting papers/hypotheses, and propose experiments that resolve the ambiguities.