啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
企业级 SSD 与消费级 SSD 的区别是什么？
Node.js是谁发明的?
哪张照片让你觉得刘亦菲美得不可方物？
有没有一款音乐播放器，能连接nas音乐，创建音乐库，自动匹配歌词封面等等？类似infuse的概念呢？
前端初学者如何学习css及页面布局？
杨幂论文一年间 AI 率从 0 飙至 91%，为什么会这样？AI 查重到底有没有统一标准？
有哪些是你用上了mac才知道的事？
国产数据库有什么坑？
今天在用剪映剪***被一个会Premiere的同学看到了，嘲笑我用剪映，Pr剪辑真的比剪映好吗，好在哪？
有没有开源的搜索引擎?
电话：
座机：
邮箱：
地址：
