提示注入

研究发现，大模型与形式化求解器协作时，求解结果向用户输出的“叙述”环节存在安全漏洞，可能导致已验证结论被恶意篡改。