#信号时序逻辑

朋友，DeepSeek 团队搞了个新东西，叫 LLM-Falsifier，能帮着找物理系统里的安全漏洞，比以前的方法更高效。