“海玛斯”有多烧钱

tangchaous

东湖珞珈 发表于 2023-2-9 01:40
我这里也有一个例子：有一个用JESS写的商务规则的rule engine, 随着多年的业务发展，法规变化，里面的rul ...

3 g( X3 R, G" S( f9 u2 G2 u* ~美国联邦税务局（IRS）的税务规则系统是用COBAL写的，早已无法维护，只能打补丁。重写工作已经耗资$4.7B，还没有一丝成功的希望

晨枫

东湖珞珈 发表于 2023-2-8 11:40
4 }) {0 U) P$ r5 t1 j' s, e! W6 _我这里也有一个例子：有一个用JESS写的商务规则的rule engine, 随着多年的业务发展，法规变化，里面的rul ...

这方面我倒是对Chat GPT之类的AI很有信心，这可能是个game changer。

晨枫

可梦之 发表于 2023-2-8 09:40
* o) i  s+ w1 q! q+ ]- }100亿美元大概是一两百吨的黄金。18门“海玛斯”"就200吨了。所以还是比黄金便宜点的。不够高科技！ ...

! ^  R, W2 V  M3 V( g. B还能这么算啊？想想也对哦，只有半价！

晨枫

鳕鱼邪恶 发表于 2023-2-8 09:53
看过一个视频，兔子用火箭炮点杀一门拖拽火炮，一发火箭弹就直接炸翻了。。这精度海马斯未必做的到。 ...

6 C$ E* [( |5 m6 l3 S海玛斯做得到。

晨枫

熊掌 发表于 2023-2-8 02:52
+ x$ E+ L; ~0 a2 z  W/ v那是否可以理解为，一旦进入战时体系，一切简化程序，那成本也就可以直线下降，产能飞涨？ ...

% s+ l" h$ w: w, c2 a- r* k( ^  e3 f也不完全是这样，要看整个供应链。如果上游供应链里有一些主要环节产能已经满了，那这些空转产能还是必须空转。比如说，坦克工厂最终需要大量的钢材供应，要是钢产量上不去，还是只能继续空转。

三力思

海玛斯是贵在实时情报支援上，波兰的钱是花在战时，北约会告诉你，目标的实时位置。波兰本身不具备这种情报能力，多花钱也买不到。

东湖珞珈

! C' A7 W1 ^9 o, S. ]; z4 ]

晨枫 发表于 2023-2-9 03:08
. u& l: Z- \1 d- d% y这方面我倒是对Chat GPT之类的AI很有信心，这可能是个game changer。

这个并不容易。常规的语言因为GitHub之类的地方有海量的代码，AI有充分的教材可以自我训练。而到了一个具体大企业的那些商务运行规则，那里面有很多很专门的know-how,  那都是那个公司吃饭的要命的东西，不会放出来的。所以AI难以找到足够的训练的教材。
我曾经自告奋勇要去读那几万行的规则，我们这一代中国人都是啃过大部头书出来的，不会畏惧那三万行。可是我的MIT毕业的老墨主任大手一挥说：不需要！我们可以把这个老核心包裹起来用！
这种抖机灵的做法后来差一点把公司的业务给毁了，至少相关的功能是毁了。该送发出去的信息严重延误，最严重的时候甚至会延误一两天！

zjjyl

东湖珞珈 发表于 2023-2-9 04:28
3 }; x/ C0 E, J0 e+ T/ s这个并不容易。常规的语言因为GitHub之类的地方有海量的代码，AI有充分的教材可以自我训练。而到了一个具 ...

可以搞公司内部AI训练吧？

东湖珞珈

zjjyl 发表于 2023-2-9 05:46
可以搞公司内部AI训练吧？

那得给TA准备大量的“阅读资料”，有这个功夫，就不如现在的客户和开发部门再度合作，直接开发最适合现在的东西好了，轻装上阵，把20年补丁摞补丁的“屎山”给彻底绕过去了

晨枫

东湖珞珈 发表于 2023-2-8 14:28
0 z/ B/ j8 u& X7 ?这个并不容易。常规的语言因为GitHub之类的地方有海量的代码，AI有充分的教材可以自我训练。而到了一个具 ...

6 R0 R/ e( g1 H8 G这其实正是AI的长处，因为所有的规则已经codify成代码了，并不是自然语言的形式，不需要再理解、再诠释。“代码翻译”用AI应该还是可以？最极端的情况就是IF……THEN改写成WHEN。
% H; [. d( g8 f
! F  |* p8 o! p/ D+ ^( d+ \你这个老墨主任做的就是我提到的DLL。这样的简单粗暴很容易出毛病，而且效率奇低。我们的NSIST计算包包罗万象，我们只需要其中的1%的功能，但没法分离出来，只能统统打包，把另外99%的包袱统统背上。
; ?" J) W/ K: Y; P; s+ ]' q6 G4 z
, `# Z/ o! P& _/ B+ g3 WDLL的另一个问题是接口必须100%精确对接，但有时只需要稍稍改动一点点，就可以干别的活。能进入代码的话，不费吹灰之力；死扣DLL，就一筹莫展了。

这时，如果用AI“搬迁”代码，就高效多了。

晨枫

三力思 发表于 2023-2-8 14:24
海玛斯是贵在实时情报支援上，波兰的钱是花在战时，北约会告诉你，目标的实时位置。波兰本身不具备这种情报 ...

购买海玛斯并不自带情报支援，就像购买F-16战斗机并不自带预警机支援一样。

美国对乌克兰的情报支援是在另外的架构下，与有没有海玛斯无关。能与海玛斯对接，但没有海玛斯也会提供的。

老财迷

东湖珞珈 发表于 2023-2-9 01:40
* L3 _- q' O+ K. Z我这里也有一个例子：有一个用JESS写的商务规则的rule engine, 随着多年的业务发展，法规变化，里面的rul ...

我居然想起来Lisp的大概样子，是不是有很多（）？

可梦之

晨枫 发表于 2023-2-9 07:09
这其实正是AI的长处，因为所有的规则已经codify成代码了，并不是自然语言的形式，不需要再理解、再诠释。 ...

要考虑准确率。AI搬迁后的代码和源代码是不是100%等效的？如果是，如何证明，我们是不知道AI怎么work的。如果不是，我们能否接受？

ChatGPT搞对话不需要100%正确率（人也做不到，甚至“正确”都不好定义），但是代码不同。转写代码最头疼的就是证明新代码和老代码是“完全”一样的，这个需要海量的测试，即便如此也不能让人放心。ChatGPT也要面临类似的问题。代码Work，但是谁也保证不了永远work，将来万一出问题，人面对不理解的老代码和更不理解的AI代码，咋办？再搞一个AI修复一下？
) F* E! X# h' ~, I( ?- e  M
! w8 J$ @- S6 ^" v如果AI代码不需要100%正确率，比如99.99%就够了。那人做起来也容易多了。原来打工时候产品用Fortran写的，用C重写一下跑一万次错一次，还是不难的

豪哥豪哥

5 c( B+ k3 N; V* l' l* E
: ~! h& Q; f* Y5 {# K( M! j1 u; g晨大一看就是不常做进口军火的 :-)
% ~! J- v2 x2 A, T4 a; b
这100亿是进口许可证金额。连合同价格都没谈呢，就是放那里做样子的估值。美国到现在为止是只是发了进口许可证。然后波兰会开始筹钱，估计会让美国出钱，然后会看到国会讨论对波兰援助金额等等等等。如果是自己出钱，波兰国会批不批还是另一回事呢。
" B, m" N) N& J9 v7 }' y5 p
4 M- V- B5 m  X0 _像波兰这样的鞋垫国一定会开个大许可证，然后坐地起价呗。类似于印度的采购计划。
' j: H4 N& n+ Q. N, k
历史上美国还披过自己根本不生产的军火，比如批过台湾的常规潜艇。这种情况就是一种政治标题。说明美国不反对盟国出售。这个也一样，里面有乌克兰买不到的远程导弹，说明了一种态度。

8 N2 |( K: b4 e' Z* B( |, y" e

晨枫

可梦之 发表于 2023-2-8 17:40
要考虑准确率。AI搬迁后的代码和源代码是不是100%等效的？如果是，如何证明，我们是不知道AI怎么work的。 ...

你这是一般性的软件测试问题，这个问题现在还没有完美答案，还是需要大量测试。
- N' @1 u5 e; h4 X: t
2 S+ e( s  E( R/ \# ]2 g$ d但“规则”如果是IF……THEN的话，要看这些规则是平行的还是嵌套的。平行规则再多也不怕，互相是独立的，只有有限的排列组合；嵌套的排列组合就爆炸性地增加了，这就不好办了。
, V8 ]. F" a  Q, m/ X+ a) h5 s
# L6 O* f. Y0 j, I2 L对于银行来说，估计平行的规则居多？

可梦之

晨枫 发表于 2023-2-9 07:45
# O# o+ _5 M5 d. z; R- x. Z你这是一般性的软件测试问题，这个问题现在还没有完美答案，还是需要大量测试。
& X2 x+ o) {7 E0 R
但“规则”如果是IF…… ...

对银行来说，最重要的是出了问题谁负责？打AI屁屁？

晨枫

可梦之 发表于 2023-2-8 18:04
对银行来说，最重要的是出了问题谁负责？打AI屁屁？

/ H" h- z# U# [( |- U: t, g请人重写也有出错问题啊，打谁的PP？当然是打甲方项目主管的PP。

唐家山

晨枫 发表于 2023-2-8 13:38
你一说，我想起来一个事：NSIST有一个物性计算包，用FORTRAN写的，超大，超好用，但没人用FORTRAN了。现 ...

或许是时候用ChatGPT用当代语言重写了。

这个ChatGPT还真重写不了。没有足够的FORTRAN翻译到当代语言的样本库。

晨枫

唐家山 发表于 2023-2-8 19:41
* L$ a/ q$ M1 d9 c1 j这个ChatGPT还真重写不了。没有足够的FORTRAN翻译到当代语言的样本库。

* A) O. E: @% w0 d% ^
不是翻译到自然语言啊，谁也真拿这玩意儿当小说读啊，翻译到伪码不香吗？有了伪码，以后要翻译成什么代码都不难了啊。

唐家山

晨枫 发表于 2023-2-9 10:08
不是翻译到自然语言啊，谁也真拿这玩意儿当小说读啊，翻译到伪码不香吗？有了伪码，以后要翻译成什么代码 ...

从FORTRAN翻译到伪码的样本库现在也不够。