啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
感觉男朋友对我有些小气要不要分手？
电视机为什么有大流量上传?
国企会辞退正式员工吗？
go 有哪些成熟点的后台管理框架？
女友明确说不喜欢我玩游戏机，结婚后也不允许我买游戏机，并且跟我吵架了，该如何是好？
Mac 发展那么多年结果只能剪***吗？
FVCOM这个软件怎么样呢？
现在个人博客不能备案了吗？
大家知道为什么艺术家都喜欢画女人体吗？
40岁财务自由想找个25左右的媳妇儿有可能吗？
电话：
座机：
邮箱：
地址：
