“海玛斯”有多烧钱

tangchaous

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

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

晨枫

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

/ @1 m' M# {' B/ s' I  Y这方面我倒是对Chat GPT之类的AI很有信心，这可能是个game changer。

晨枫

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

; c1 z$ x  D  Y% p6 o/ B! r还能这么算啊？想想也对哦，只有半价！

晨枫

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

海玛斯做得到。

晨枫

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

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

三力思

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

东湖珞珈

晨枫 发表于 2023-2-9 03:08
: K, R! U* P. c* U4 ^% J这方面我倒是对Chat GPT之类的AI很有信心，这可能是个game changer。

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

zjjyl

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

" N; _- ^2 I$ @8 {! D9 W可以搞公司内部AI训练吧？

东湖珞珈

zjjyl 发表于 2023-2-9 05:46
  {4 j! m. ^) ?) a可以搞公司内部AI训练吧？

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

晨枫

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

1 n% {; p/ ]" Z6 P这其实正是AI的长处，因为所有的规则已经codify成代码了，并不是自然语言的形式，不需要再理解、再诠释。“代码翻译”用AI应该还是可以？最极端的情况就是IF……THEN改写成WHEN。
, C& A% y! q; {+ ~3 k/ J
" F+ |% m9 X& L9 z1 x) I你这个老墨主任做的就是我提到的DLL。这样的简单粗暴很容易出毛病，而且效率奇低。我们的NSIST计算包包罗万象，我们只需要其中的1%的功能，但没法分离出来，只能统统打包，把另外99%的包袱统统背上。
- w8 n6 v; f! U4 H$ {
DLL的另一个问题是接口必须100%精确对接，但有时只需要稍稍改动一点点，就可以干别的活。能进入代码的话，不费吹灰之力；死扣DLL，就一筹莫展了。
$ g4 ^8 G) i1 b+ q) g; e9 C
) z' R+ F1 U7 W; f# n% ?这时，如果用AI“搬迁”代码，就高效多了。

晨枫

0 A$ ~7 i! c2 w$ [+ I$ q7 ~

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

" C) D9 S( s: r( i% Q9 O购买海玛斯并不自带情报支援，就像购买F-16战斗机并不自带预警机支援一样。

. G: b8 j) h$ }4 Y. a- W* M美国对乌克兰的情报支援是在另外的架构下，与有没有海玛斯无关。能与海玛斯对接，但没有海玛斯也会提供的。

老财迷

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

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

可梦之

晨枫 发表于 2023-2-9 07:09
4 u+ o7 z: ^, i( b+ `+ v$ m6 N这其实正是AI的长处，因为所有的规则已经codify成代码了，并不是自然语言的形式，不需要再理解、再诠释。 ...

4 b3 ~7 \2 ^7 M' p0 p7 [: h要考虑准确率。AI搬迁后的代码和源代码是不是100%等效的？如果是，如何证明，我们是不知道AI怎么work的。如果不是，我们能否接受？
; H# X/ v! h0 D5 D
4 l" j: ]4 z; r1 P# C5 xChatGPT搞对话不需要100%正确率（人也做不到，甚至“正确”都不好定义），但是代码不同。转写代码最头疼的就是证明新代码和老代码是“完全”一样的，这个需要海量的测试，即便如此也不能让人放心。ChatGPT也要面临类似的问题。代码Work，但是谁也保证不了永远work，将来万一出问题，人面对不理解的老代码和更不理解的AI代码，咋办？再搞一个AI修复一下？
0 g% T4 n$ L; v& W6 _
如果AI代码不需要100%正确率，比如99.99%就够了。那人做起来也容易多了。原来打工时候产品用Fortran写的，用C重写一下跑一万次错一次，还是不难的

豪哥豪哥

" _* v9 l' A6 N. @: @3 ^
3 D# M" v; w3 u9 Q晨大一看就是不常做进口军火的 :-)

1 b$ k+ [$ s8 U这100亿是进口许可证金额。连合同价格都没谈呢，就是放那里做样子的估值。美国到现在为止是只是发了进口许可证。然后波兰会开始筹钱，估计会让美国出钱，然后会看到国会讨论对波兰援助金额等等等等。如果是自己出钱，波兰国会批不批还是另一回事呢。
( Y0 t% z, Q9 L7 }5 I, a# n
像波兰这样的鞋垫国一定会开个大许可证，然后坐地起价呗。类似于印度的采购计划。

历史上美国还披过自己根本不生产的军火，比如批过台湾的常规潜艇。这种情况就是一种政治标题。说明美国不反对盟国出售。这个也一样，里面有乌克兰买不到的远程导弹，说明了一种态度。

' W+ n( ^1 ?& `$ ~

晨枫

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

3 i% _3 `2 ^2 ]- c你这是一般性的软件测试问题，这个问题现在还没有完美答案，还是需要大量测试。
$ }% e  q  i7 U: v  z
但“规则”如果是IF……THEN的话，要看这些规则是平行的还是嵌套的。平行规则再多也不怕，互相是独立的，只有有限的排列组合；嵌套的排列组合就爆炸性地增加了，这就不好办了。

# Y5 p! w/ d7 c  _  X- w对于银行来说，估计平行的规则居多？

可梦之

晨枫 发表于 2023-2-9 07:45
1 m# ]% K& S( ^# M. k你这是一般性的软件测试问题，这个问题现在还没有完美答案，还是需要大量测试。
8 }4 T3 W* y* z0 n% {+ Y4 R
1 |- |9 T4 X; \3 n7 M1 v但“规则”如果是IF…… ...

0 i1 y# m( Z1 g, q+ U5 B, Q( g对银行来说，最重要的是出了问题谁负责？打AI屁屁？

晨枫

可梦之 发表于 2023-2-8 18:04
! f; t; q* n5 l# v5 L9 \* V  k- A4 ~对银行来说，最重要的是出了问题谁负责？打AI屁屁？

$ E" i' G6 J: {请人重写也有出错问题啊，打谁的PP？当然是打甲方项目主管的PP。

唐家山

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

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

4 s, [. p2 i  h这个ChatGPT还真重写不了。没有足够的FORTRAN翻译到当代语言的样本库。

晨枫

唐家山 发表于 2023-2-8 19:41
这个ChatGPT还真重写不了。没有足够的FORTRAN翻译到当代语言的样本库。

/ p! u! R; K+ @% [( q- O
不是翻译到自然语言啊，谁也真拿这玩意儿当小说读啊，翻译到伪码不香吗？有了伪码，以后要翻译成什么代码都不难了啊。

唐家山

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

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