啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
小鹏G7预售价23.58万，何小鹏称其为「全球首款L3级算力的AI汽车」，何为L3级算力？竞争力如何？
有什么关于贵阳的冷知识？
为什么有人会说要崛起要靠西科这种观点呢？
golang总体上有什么缺陷？
面试中被嘲笑Token放在redis里，该如何应对这种情况呢？
为什么 php 可以做到 7 毫秒以内响应，而 .net 做不到？
男朋友因为打游戏骗我去睡觉被我识破，然后我提了分手，他同意了，问问男孩子们他怎么想的？
为什么女游泳运动员看起来大部分都是平胸？
Golang与Rust哪个语言会是今后的主流？
你身边身材最好的女生是什么样？
电话：
座机：
邮箱：
地址：
