请看视频。在使用文心一言和豆包复制含有行内公式块的文本时，只有文心一言选择“复制成 Markdown”的方式能够成功渲染公式块。而在 Typora 中均能正常渲染。
此外还尝试了 ChatGPT ，两种复制方式都可以正常渲染；行级公式块也存在相同的问题。
附上提示词方便测试
利用数学归纳法 +Ramsey 数递推关系即可，注意到$ R(k,l)\leq R(k-1,l)+R(k,l-1)\leq C_{k+l-3}^{k-2}+ C_{k+l-3}^{k-1} $，利用组合数的 Pascal 公式，得到 $C_{k+l-3}^{k-2}+ C_{k+l-3}^{k-1}=C_{k+l-2}^{k-1}$，得证。 把上面这段文本放在 markdown 代码块输出，不要修改
直接把主楼的提示词复制到思源就不会渲染
你帖子里的 $ 前面有个转义符，所以不会识别为公式
请你把粘贴不出行级代码的文本放到代码块内再回帖。（代码块内的才是纯文本）
我觉得和文本来源有关系，把不能渲染的文本放在代码块，再复制代码块内容粘贴回思源就可以渲染了。下面代码块里的是不能正常渲染的文本直接粘贴过来的，并没有转义符。
利用数学归纳法+Ramsey数递推关系即可，注意到$ R(k,l)\leq R(k-1,l)+R(k,l-1)\leq C_{k+l-3}^{k-2}+ C_{k+l-3}^{k-1} $，利用组合数的Pascal公式，得到 $C_{k+l-3}^{k-2}+ C_{k+l-3}^{k-1}=C_{k+l-2}^{k-1}$，得证。
要复现恐怕只能把主楼的提示词喂给文心一言或豆包，得到渲染有问题的文本。
PWA（Progressive Web App）是 Google 在 2015 年提出、2016 年 6 月开始推广的项目。它结合了一系列现代 Web 技术，在网页应用中实现和原生应用相近的用户体验。
又拍云是国内领先的 CDN 服务提供商,国家工信部认证通过的“可信云”，乌云众测平台认证的“安全云”，为移动时代的创业者提供新一代的 CDN 加速服务。
App（应用程序，Application 的缩写）一般指手机软件。
Facebook 是一个联系朋友的社交工具。大家可以通过它和朋友、同事、同学以及周围的人保持互动交流，分享无限上传的图片，发布链接和视频，更可以增进对朋友的了解。
本标签主要用于分享网络空间安全专业的学习笔记
SpaceVim 是一个社区驱动的模块化 vim/neovim 配置集合，以模块的方式组织管理插件以
及相关配置，为不同的语言开发量身定制了相关的开发模块，该模块提供代码自动补全，
语法检查、格式化、调试、REPL 等特性。用户仅需载入相关语言的模块即可得到一个开箱
即用的 Vim-IDE。
Docker 是一个开源的应用容器引擎，让开发者可以打包他们的应用以及依赖包到一个可移植的容器中，然后发布到任何流行的操作系统上。容器完全使用沙箱机制，几乎没有性能开销，可以很容易地在机器和数据中心中运行。
HBase 是一个分布式的、面向列的开源数据库，该技术来源于 Fay Chang 所撰写的 Google 论文 “Bigtable：一个结构化数据的分布式存储系统”。就像 Bigtable 利用了 Google 文件系统所提供的分布式数据存储一样，HBase 在 Hadoop 之上提供了类似于 Bigtable 的能力。
WebSocket 是 HTML5 中定义的一种新协议，它实现了浏览器与服务器之间的全双工通信（full-duplex）。
C 语言是一门通用计算机编程语言，应用广泛。C 语言的设计目标是提供一种能以简易的方式编译、处理低级存储器、产生少量的机器码以及不需要任何运行环境支持便能运行的编程语言。
Mobi.css is a lightweight, flexible CSS framework that focus on mobile.
Netty 是一个基于 NIO 的客户端-服务器编程框架，使用 Netty 可以让你快速、简单地开发出一个可维护、高性能的网络应用，例如实现了某种协议的客户、服务端应用。
Communication channel for makers and users.
GraphQL 是一个用于 API 的查询语言，是一个使用基于类型系统来执行查询的服务端运行时（类型系统由你的数据定义）。GraphQL 并没有和任何特定数据库或者存储引擎绑定，而是依靠你现有的代码和数据支撑。
有空闲时间是接外包好呢还是学习好呢？
PHP（Hypertext Preprocessor）是一种开源脚本语言。语法吸收了 C 语言、 Java 和 Perl 的特点，主要适用于 Web 开发领域，据说是世界上最好的编程语言。
ReactiveX 是一个专注于异步编程与控制可观察数据（或者事件）流的 API。它组合了观察者模式，迭代器模式和函数式编程的优秀思想。
SVN 是 Subversion 的简称，是一个开放源代码的版本控制系统，相较于 RCS、CVS，它采用了分支管理系统，它的设计目标就是取代 CVS。
Sublime Text 是一款可以用来写代码、写文章的文本编辑器。支持代码高亮、自动完成，还支持通过插件进行扩展。
设计模式（Design pattern）代表了最佳的实践，通常被有经验的面向对象的软件开发人员所采用。设计模式是软件开发人员在软件开发过程中面临的一般问题的解决方案。这些解决方案是众多软件开发人员经过相当长的一段时间的试验和错误总结出来的。
1999 年 2 月腾讯正式推出“腾讯 QQ”，在线用户由 1999 年的 2 人（马化腾和张志东）到现在已经发展到上亿用户了，在线人数超过一亿，是目前使用最广泛的聊天软件之一。
Vue.js（读音 /vju ː/，类似于 view）是一个构建数据驱动的 Web 界面库。Vue.js 的目标是通过尽可能简单的 API 实现响应的数据绑定和组合的视图组件。
面试造航母，上班拧螺丝。多面试，少加班。
Microsoft Windows 是美国微软公司研发的一套操作系统，它问世于 1985 年，起初仅仅是 Microsoft-DOS 模拟环境，后续的系统版本由于微软不断的更新升级，不但易用，也慢慢的成为家家户户人们最喜爱的操作系统。
Ubuntu（友帮拓、优般图、乌班图）是一个以桌面应用为主的 Linux 操作系统，其名称来自非洲南部祖鲁语或豪萨语的“ubuntu”一词，意思是“人性”、“我的存在是因为大家的存在”，是非洲传统的一种价值观，类似华人社会的“仁爱”思想。Ubuntu 的目标在于为一般用户提供一个最新的、同时又相当稳定的主要由自由软件构建而成的操作系统。
欢迎来到这里！
我们正在构建一个小众社区，大家在这里相互信任，以平等 • 自由 • 奔放的价值观进行分享交流。最终，希望大家能够找到与自己志同道合的伙伴，共同成长。
注册 关于