The use of LaTeX should not and does not prevent the advancement of machine intelligence, just as the stubborn use of blackboards and chalk by mathematicians as prime communication devices. Now, when machines get intelligent enough they’ll figure out LaTeX and more.
Keep in mind that one goal of TeX was to make it fairly easy for a human to write it down. Another goal is for another human to be able to understand that source quite well. Now picture both tasks with semantics-rich MathML.
Keep in mind that one goal of TeX was to make it fairly easy for a human to write it down. Another goal is for another human to be able to understand that source quite well. Now picture both tasks with semantics-rich MathML.