啊?简单说下我的想法: 现在latex不好看,公式是给人看的,不是给llm看的,严重增加了我这种小白看数学类资料的难度。
显而易见,这是不好的。
所以就需要一种语言 1.他的定义是函数式的,这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的,类似这个,这样我加一个mcp tool,再选上自动运行,就可以一键托管agent了并debug了。
(类似我们改完一个项目后跑一下验证一下结果,我们现在…。
上一篇 : postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
下一篇 : go-zero的svc全局变量和Kratos按需利用wire进行依赖注入哪个在实际生产合作中更合适?
我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?...
如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?...
目前美军还有哪些领域是明显领先于解放军的?...
买到烂尾楼到底该有多绝望?...