啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
如何反驳“电脑普及15年，年轻人还要淘宝代装steam”?
什么事情让你体验到 JPEG 和 RAW 的差别？
在C中，如何实现删掉一行注释无法运行？
有哪些值得一提的生活窍门？
MacOS真的比Windows流畅吗？
为什么说Mac编程是种享受？
养乌龟只养一只，它觉得会孤独吗？
为什么现在越来越多的人不想要孩子呢？
Centos为什么突然没人用了?
为啥徐志摩这么讨厌张幼仪还有好几个孩子？
电话：
座机：
邮箱：
地址：
