啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
如何看2024年，小米的企业所得税实际纳税额超过华为？
腰肌劳损怎嘛治啊?
应该如何看待群晖在DSM 7.2.2-72803更新中去掉了Video Station?
为什么越来越多的国内男孩，要娶国外女孩?
工业克苏鲁什么意思?
你们认为一个40多岁的女人老吗？
哪张照片让你觉得刘亦菲美得不可方物？
现在个人博客不能备案了吗？
男朋友说我穿衣服太开放，难道好身材不应该显示出来吗？
为什么一般人不建议住别墅?
电话：
座机：
邮箱：
地址：
