更好的代码——但如果你不小心，它们也可能更糟

一项关于人工智能如何试图绕过安全机制，以处理一个难以证明的定理的探索。