啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
女生腰细是怎样的体验？
如果将几百核心的服务器 CPU 当作 GPU 使用，会发生什么？
如何评价“寡姐”斯嘉丽·约翰逊的身材？
用GraphQL如何实现以下API请求？与REST的思路相比实现方法孰优孰劣？
鸿蒙折叠屏笔记本为什么敢卖26999？
有什么软件官方已经停更了或者公司已经倒闭了，但是你还在用并且觉得很好用的？
IntelliJ IDEA 中有什么让你相见恨晚的技巧？
如何评价鸿蒙电脑无法编写其自身运行的程序？
为什么不用rust重写Nginx？
如何安慰人效果最好？
电话：
座机：
邮箱：
地址：
