啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
如何评价黄霄云这个人？
我国有能力发现B2并摧毁吗？
是买Macbook m3max 还是等m4max？
谷歌云服务宕机导致 OpenAI、Shopify 等服务中断，此次宕机的具体技术原因是什么？
为什么手机动辄都 1T 存储了，为啥电脑还在死磕 512G 呢？
为什么抖音直播大半都是女主播在擦边？
各双拼输入方案之间有明显的优劣之分吗？
如何看待 Mac mini M4 支持可更换 SSD？
为什么盗版音乐已经被严格限制了，而中国音乐却还是没有发展起来？
亚洲体坛最漂亮的十位女运动员都有谁？
电话：
座机：
邮箱：
地址：
