啊?简单说下我的想法: 现在latex不好看,公式是给人看的,不是给llm看的,严重增加了我这种小白看数学类资料的难度。
显而易见,这是不好的。
所以就需要一种语言 1.他的定义是函数式的,这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的,类似这个,这样我加一个mcp tool,再选上自动运行,就可以一键托管agent了并debug了。
(类似我们改完一个项目后跑一下验证一下结果,我们现在…。
上一篇 : Node.js是谁发明的?
下一篇 : 为什么我养的龟忽然死了?
微软暂停专用 Xbox 掌机开发,转而优化 Windows 11 的掌机游戏体验,这背后原因有哪些?...
零上55℃和零下55℃,对人类来说哪个更难以适应?...
如何看待小道消息传出半导体已实现全产业链替代,国产euv已突破,良率70%?...
吴彦祖疯狂接代言被猜缺钱,卖完英语课又代言黄酒,他是真的缺钱还是有其他考量?...