被知乎折叠带来更多研究动力 - “如何评价 Litex 语言？”

https://www.zhihu.com/question/1965786839827854197/answer/1973021573339428510

回答：

调研之前，先说个故事。

回国时，与一位深耕实业软件的行家聊。

他们用某 AI 的 API 做了个用户可以通过自然语言交互实现类似 SQL 开发，准确率八九成，但至少解决有无问题，而且宣传上赶上 AI 的趟沾个光。

自家里在研究如何通过推理等“传统 AI 技术”尽量可靠地实现。

招了不少数学专业的研究生，比计算机专业的更合适也更好招。

故事讲完。

我在五年多前对这波 AI 风潮的技术路线提出质疑：

《那些忍了很久的话——人工智能盲目跟风该休了 21 赞同 · 1 评论 文章》

但不意味着对 AI 的憧憬和追求都是荒谬的、宣传中提到 AI 的所有项目都只为短期逐利。

个人认为逻辑编程的可读性有相当改进空间，也是之前尝试的一个动机：

《用 z3-solver 搭个微型逻辑编程语言原型 2 赞同 · 0 评论 文章》

同时，对国内自研语言工具也有相当期冀。木兰语言项目的舆论风暴已五周年有余：

《重温初见木兰编程语言的那个战场 18 赞同 · 5 评论 文章》

望各位多多呵护萌芽，多提建设意见。

—一觉醒来居然被折叠了—

很好，这下研究的动力更多了。

[待细研究]