“海玛斯”有多烧钱

tangchaous

东湖珞珈 发表于 2023-2-9 01:40
+ y/ Z+ q3 Q) v) y+ h" g% G, T" v我这里也有一个例子：有一个用JESS写的商务规则的rule engine, 随着多年的业务发展，法规变化，里面的rul ...

2 h0 S6 h* X" ~" U4 U' U美国联邦税务局（IRS）的税务规则系统是用COBAL写的，早已无法维护，只能打补丁。重写工作已经耗资$4.7B，还没有一丝成功的希望

晨枫

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

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

晨枫

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

$ D; _0 K) l0 H3 G还能这么算啊？想想也对哦，只有半价！

晨枫

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

海玛斯做得到。

晨枫

熊掌 发表于 2023-2-8 02:52
' E) `8 j  X9 m3 z' ^$ h那是否可以理解为，一旦进入战时体系，一切简化程序，那成本也就可以直线下降，产能飞涨？ ...

5 f2 q. Y$ A- _9 O+ p也不完全是这样，要看整个供应链。如果上游供应链里有一些主要环节产能已经满了，那这些空转产能还是必须空转。比如说，坦克工厂最终需要大量的钢材供应，要是钢产量上不去，还是只能继续空转。

三力思

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

东湖珞珈

! X/ g5 @& Q( l/ A& u" _5 ^

晨枫 发表于 2023-2-9 03:08
) D7 q; B. I" ~' z6 j这方面我倒是对Chat GPT之类的AI很有信心，这可能是个game changer。

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

zjjyl

东湖珞珈 发表于 2023-2-9 04:28
; _+ R+ j" L! V1 U( R4 I这个并不容易。常规的语言因为GitHub之类的地方有海量的代码，AI有充分的教材可以自我训练。而到了一个具 ...

; b+ j/ P( I$ \, M: Z; R* P! g可以搞公司内部AI训练吧？

东湖珞珈

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

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

晨枫

东湖珞珈 发表于 2023-2-8 14:28
0 y4 c( d3 w" c) k这个并不容易。常规的语言因为GitHub之类的地方有海量的代码，AI有充分的教材可以自我训练。而到了一个具 ...

, q; t7 |, ^" |. u" w这其实正是AI的长处，因为所有的规则已经codify成代码了，并不是自然语言的形式，不需要再理解、再诠释。“代码翻译”用AI应该还是可以？最极端的情况就是IF……THEN改写成WHEN。
4 K4 |2 _( |8 o' C. z' @
3 `1 D/ U8 N. ~/ [1 H: u, c) w你这个老墨主任做的就是我提到的DLL。这样的简单粗暴很容易出毛病，而且效率奇低。我们的NSIST计算包包罗万象，我们只需要其中的1%的功能，但没法分离出来，只能统统打包，把另外99%的包袱统统背上。
& e6 x  ^) ?& F' d9 `+ _( z4 @% ]
DLL的另一个问题是接口必须100%精确对接，但有时只需要稍稍改动一点点，就可以干别的活。能进入代码的话，不费吹灰之力；死扣DLL，就一筹莫展了。

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

晨枫

2 G# [& p/ q) r. h2 B8 g$ P

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

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

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

老财迷

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

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

可梦之

晨枫 发表于 2023-2-9 07:09
( x$ k- U4 @* E4 x6 `$ H; _( b3 R这其实正是AI的长处，因为所有的规则已经codify成代码了，并不是自然语言的形式，不需要再理解、再诠释。 ...

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

ChatGPT搞对话不需要100%正确率（人也做不到，甚至“正确”都不好定义），但是代码不同。转写代码最头疼的就是证明新代码和老代码是“完全”一样的，这个需要海量的测试，即便如此也不能让人放心。ChatGPT也要面临类似的问题。代码Work，但是谁也保证不了永远work，将来万一出问题，人面对不理解的老代码和更不理解的AI代码，咋办？再搞一个AI修复一下？

如果AI代码不需要100%正确率，比如99.99%就够了。那人做起来也容易多了。原来打工时候产品用Fortran写的，用C重写一下跑一万次错一次，还是不难的

豪哥豪哥

; X3 v+ Z4 E  N9 O" E9 x6 o
晨大一看就是不常做进口军火的 :-)
/ H- c2 i; m" X) [) M
' Z+ S+ E& d+ {5 u# p+ L这100亿是进口许可证金额。连合同价格都没谈呢，就是放那里做样子的估值。美国到现在为止是只是发了进口许可证。然后波兰会开始筹钱，估计会让美国出钱，然后会看到国会讨论对波兰援助金额等等等等。如果是自己出钱，波兰国会批不批还是另一回事呢。

像波兰这样的鞋垫国一定会开个大许可证，然后坐地起价呗。类似于印度的采购计划。

历史上美国还披过自己根本不生产的军火，比如批过台湾的常规潜艇。这种情况就是一种政治标题。说明美国不反对盟国出售。这个也一样，里面有乌克兰买不到的远程导弹，说明了一种态度。
# Q* m* b' m& }- j1 {8 v4 |
3 g4 i4 D- G3 H4 r5 W

晨枫

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

你这是一般性的软件测试问题，这个问题现在还没有完美答案，还是需要大量测试。
" l' }6 Q. c1 C) c0 L- Y
但“规则”如果是IF……THEN的话，要看这些规则是平行的还是嵌套的。平行规则再多也不怕，互相是独立的，只有有限的排列组合；嵌套的排列组合就爆炸性地增加了，这就不好办了。
& x: V1 ]- S' @1 v
9 L' S( D. |- t! B$ m, a2 y1 \对于银行来说，估计平行的规则居多？

可梦之

晨枫 发表于 2023-2-9 07:45
3 h5 n% a! d5 D7 V; c" @/ e你这是一般性的软件测试问题，这个问题现在还没有完美答案，还是需要大量测试。

) r9 l  f" F. n/ H5 C/ @但“规则”如果是IF…… ...

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

晨枫

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

请人重写也有出错问题啊，打谁的PP？当然是打甲方项目主管的PP。

唐家山

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

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

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

晨枫

唐家山 发表于 2023-2-8 19:41
9 w3 h8 |  v2 o$ p8 f: F) }  \这个ChatGPT还真重写不了。没有足够的FORTRAN翻译到当代语言的样本库。

( p& Q% a$ d$ p, y
: G( V8 g3 l7 j; m, U+ K不是翻译到自然语言啊，谁也真拿这玩意儿当小说读啊，翻译到伪码不香吗？有了伪码，以后要翻译成什么代码都不难了啊。

唐家山

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

+ j% Y( l, ^3 G2 _从FORTRAN翻译到伪码的样本库现在也不够。