kursk

然后 AI 写了一堆 bug 、安全漏洞、一堆吃内存和网络带宽代码

这种系统谁会？谁敢用？谁用得起？

AI 辅助编程不是降低，而是提高了门槛，当战场上自动化步枪取代了大刀长矛，对战士得要求反而要像专业化发展，不是中世纪拉一堆农民就可以

我感觉非常强，我问了一个有关电机学的问题

我在学习《电机学》中变压器章节，对文中这段文字有疑问：

"漏磁通在一次侧绕组中感应电势，加到由互磁通产生的感应电势上"

漏磁通名称中之所以有“漏”字，就是因为它没有经过绕组，何谈在“一次侧绕组中感应电势”?

Gemini 3.0 回答非常准备，尤其是下面这段文字

漏磁通 (Leakage Flux, $\Phi_l$)：它是由该绕组自身的电流产生的。它的“漏”是指：它只穿过产生它的那个绕组（比如 $\Phi_{l1}$ 只穿过一次侧绕组 $W_1$），但没有穿过另一个绕组（二次侧绕组 $W_2$）。

完全针对我提出的问题，而且我问题还提交了图片，这种图文结合提问方式经常遇到，Gemini 3.0 完全理解了图片和文字，我感觉它完全铺平了学习中的困惑

另外，我本人是搞 IT 的，学习电力知识也是为了工作，里面有大量的公式，原来觉得很难，但是在 AI 的帮助下很多学习困难都可以高效解决

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

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

1 、公司报销 AI 费用吗？我觉得至少是 MAX 用户才够高级的水平吧，而且 A 公司时不时地封号怎么解决？
2 、我和其它人一样，对贵公司实数该政策的结果感到好奇。

能详细说说你现在用的工具吗？我之前用过 cusor ，但用过 claude code 后感觉强很多，而且现在不是说 anthropic 对 cusor 进行了限制吗

反向代理？