写一个最近做 AI 的感受

[JavaGo]

写一个最近做 AI 的感受，有了 LLM 后，做行业应用系统，需要具备行业的抽象能力，再将领域逻辑通过形式化语言进行抽象表达，即能实现多样性，同时具备 AI 生成，相信以后基础的编译原理，编译器开发会迎来春天...

• 精确描述领域逻辑，必须通过形式化语言描述，就像整个文档通过 Markdown 定义一样，如果能够将细分领域应该通过形式化语言，通过 functionCall, domainLogicExpression 表达，即能适配不同应用场景的多样性，同时，也能让 LLM 生成

• 编译器的目的是让 LLM 生成尽可能准确，虽不能 100% 保证，但通过抽象的形式表达，能够让使用者能够理解，通过多轮对话校准，就像程序员生成代码一样，只要能看懂，基本上还是能生成可以正确运行的代码。

[fate]

好、好、好

[YmSgrNov29]

我有罪，一眼看成做爱

[neilsangkuan]

我有罪...

[baixixi]

还得是你小汁

[huang86041]

一眼看错....你是懂标题的

[JavaGo]

@YmSgrNov29 哈哈

[saberlove]

做做。。。。。

[itechify]

xx 已退出直播间

[illios]

lz 是懂的

行业应用懂业务领域的不懂代码，懂代码的不懂业务，现在只需要懂业务的通过 AI 转化为形式化描述，再用现有系统把形式化描述实现了就 ojbk 了

[JavaGo]

@illios 非常认同，软件技术发展了这么多年，领域逻辑的数字化理解已经逐渐成熟了，后续应该会有大量所谓的行业语言的定义出现

[YanSeven]

没有看懂这里的编译器是什么，用来编译什么的。

[encounter2017]

感觉在重新发明编译器和程序员

[123zouwen]

骗我进来

[JavaGo]

@YanSeven 传统编译器是为屏蔽低层技术的复杂性，我说的编译器是向用户屏蔽业务逻辑代码的复杂性。
@encounter2017

[encounter2017]

《人月神话》：复杂性不会消失，只会转移。AI 没有消除本质复杂性，而是将其从编码环节部分转移到了设计、验证和集成环节，通过 ai 你可以让车子跑的比原来快 10 倍，但车子出问题的频率也会同样增加。

[tingichin]

兄弟，怪我，我的问题。

[JavaGo]

@encounter2017 复杂性会随着理解的深入不断增加，传统 C 的编译到现在还在迭代，但至少我们现在不需要写汇编了。

[Aruforce]

能弄明白业务模型的…真的需要 AI 来生成代码么？

[zhhqiang]

检讨一下

[houOne]

@YmSgrNov29 +1

[lemonfishTBS]

不是我想看的内容！生气的回复生气的关闭

[JavaGo]

@Aruforce 和业务模型没太大关系，本质上能用模型就能做到了

[xue777hua]

如果非要说这个帖子和编译器有关系的话，那就是

“编”

[alading11]

点进来之前已经猜到了，OP 肯定讲的是 AI ，但还是存在一丝侥幸，说不定是乐子人故意发帖其实讲的是做 AI 呢，结果进来后大失所望

[Chatterleys]

今年熬夜不锻炼，时长从之前的 20 多分钟降到 10 多分钟了，双 11 买了延时小蓝瓶上周试了下效果还可以，重回 20 多分钟就是好累

[Aimozar]

没做过 ai

[yulgang]

啊，我的眼睛。。。

[kursk]

我不理解 UP 要表达的意思，“再将领域逻辑通过形式化语言进行抽象表达”

什么叫做形式化表达，如果是类似 markdown 语法，那么是一种结构化语言，这也太麻烦了

[Q980q48Jgj6pRXoO]

没有看懂内容，但是看懂了标题

[kepenj]

看来还是我纯洁，看了评论才知道标题有点意思~

[keyouli18]

@YmSgrNov29 +1

[xyooyx]

要实现行业级落地，既要深刻理解行业业务，能够对复杂流程进行有效拆解；也要具备扎实的 AI 技术理解，才能在拆解后的每个环节中选择合适的工具、模型与提示词，实现精准还原与智能化提升

[zealotxxxx]

懂业务的人描述 -》转化为标准需求 -》代码实现

这个情况本身是产品经理做的事情，也就是通过 LLM 加速转化。理想是很好的

但是现实情况是 LLM 遵从性太好，不懂得辨别伪需求，以及验证实现。这两块需要投入更多资源来避免问题。

[xyooyx]

@xyooyx 白话：会业务+会 AI

[qwwuyu]

啪的一下 我就点进来了 很快啊

[DreamSky123]

你是会做的

[xiaoshakj]

哈哈哈哈哈

[WuDiHaiTai]

我有罪,我是一个思想淫乱的人。

[mightybruce]

标题牛逼， 内容不对，Markdown 不是形式化语言，形式化语言是和数学一样有符号和较严格的逻辑定义的语言
比如 z 语言、petri net 、有限状态自动机这些。

[yanxu4780]

现在真变成自然语言编程了

[xiaoshaozi]

那么多工业软件需要国产化，加油

[Msxx]

我有罪，我甚至都怀疑进错社区了~

[wenchang]

我做过 ai ，但没做过 AI

[sublime8]

AI 不需要形式化语言，自然语言就行。真正需要的是把需求完整的、有逻辑的表达清楚，原来这个活是产品经理干的

[dyncan]

6025 次点击应该都不是奔着 AI 的吧

[JavaGo]

看样，我的表达不够清楚，等后面重新再写一篇吧，看样好多人都误会了

[vikim]

我有罪 抱着极大兴致 看完内容失望的离开。

[Fe1Fan]

我点进来不是为了看这些的。

[Leoking222]

@YmSgrNov29 #2 你不是一个人

[MrEhco]

哦。。。这个 AI 啊