（更新：我了解到这种开放式问题不应该在 tex.stackexchange.com 上提出，因此我将避免在这里进一步讨论，而是通过下一行提供的链接邀请大家做出贡献。）
我相信可能会发生的是，某种替代语言将被开发出来，其语法类似于 TeX（因为这将使数学家和物理学家更容易过渡到它），较少关注排版但语义上更加丰富，从而允许更平稳地过渡到 MathML。
简单的 Google 搜索显示，已经有许多类似的举措，例如：
现在，我的问题是如何概览这些（和其他）方法的相对优势和劣势，哪些社区和应用程序推动了它们，以及还需要考虑哪些因素。如果这些问题有一个简单的答案，我会感到惊讶，因此我希望随着讨论的深入，将这个主题分成更简单的部分。
答案1
我会将 gellmu 归类为http://www.albany.edu/~hammond/gellmu/以及可能也属于此类别的 plastex 的 XML 层。
首先，我认为我们应该在讨论中区分“语义”的两种含义。在传统意义上，HTML 是语义的，即它指定内容而不是如何呈现内容，但在“web3.0”中，语义的概念也更丰富，可以指定诸如数据项之间的关系之类的事物。由于 LaTeX 甚至不是第一种意义上的语义，我认为讨论语义的概念比讨论更现代的概念更为重要。
对我来说，这些事情的主要兴趣在于使数学科学家能够利用丰富的网络工具进行协作、创作和展示数学导向的工作，例如用于博学项目等的专业工具。这表明基于 XML 或 HTML 的格式应该是未来的发展方向。然而，在可预见的未来，数学导向的期刊似乎将继续使用 LaTeX 作为其主要的提交格式。学者们似乎也将继续发表同行评审的手稿作为获得其工作荣誉的主要方式。这些事情可能会在长期内发生变化，而且可以说应该会发生变化，但这就是我们现在正在面对的现实。出于这些原因，任何可能流行的工作流程都必须涉及一种类似于 LaTeX 的标记语言（因为学者们无论如何都必须学习它），必须能够转换为高质量的 LaTeX 和 XML/HTML，并且从 LaTeX 转换回所选的创作格式时不会受到太大的影响，例如，这可能需要对同行评审过程中的内容进行更正。
有多种原因导致无法期望 LaTeX 到 HTML 转换器完美运行。首先，LaTeX 从 TeX 继承了许多排版特定的构造，而这些构造在 HTML 世界中毫无意义。另一方面，有些人非常喜欢指出 LaTeX 是图灵完备的，而 HTML 不是。出于这些原因，确定可以可逆转换为 HTML/XML 的 LaTeX 语义核心很有用，例如 \section{XXX} 之类的东西可以，但 \vskip 之类的东西不行。我们可能还需要考虑修改 LaTeX 语法以帮助转换为基于 XML 的格式，例如，这是在 gellmu 中完成的，但以一种 LaTeX 爱好者可以轻松适应的方式。
答案2
在此背景下，Pete Sefton回复我最初的帖子也很有趣，描述了一个 Java 插件，它确实使网络可以正确编辑。方向又略有不同，但值得考虑。