啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
伊朗这次会崩溃灭亡吗？
女婿不喜欢去丈母娘家的原因是什么？
为什么情侣在一起旅行后容易分手？
如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架？
美国***下令美使领馆暂停留学生新签证面谈，将带来哪些影响？美国大学在全球人才竞争中还有优势吗？
长期使用的大佬来说说，MacOS 真的比 Windows 稳定吗？
不用CDN就没事，用阿里云CDN就被攻击刷流量，阿里云表示证明不了就要用户买单，如何看到这种行为？
自己有车位，但是没有车，就想把对象的车停进去，结果物业不允许，这合法吗？
飞天茅台散瓶批发价跌破 2000 元，背后什么原因？收藏茅台还能增值吗？
超小团队选择Django还是Flask？
电话：
座机：
邮箱：
地址：
