啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
为什么我看到的电***4k银幕分辨率还比不过手机，模糊不清，还有严重拖影？
如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架？
如何评价B站up主***千代退网？
为什么web worker可以在前端开多线程，解决单线程卡死页面的问题，但是没有得到广泛使用？
韩国掀起打「增高针」风潮，增高针真的能增高吗？会对身体产生哪些影响？
亲眼见到明星本人是什么体验？
商业史上有哪些降维打击的经典案例？
你都见过什么样的电脑盲？
什么是 5G 固定无线接入（FWA）？
为什么腰突不受到医学界的重视？
电话：
座机：
邮箱：
地址：
