Buterin Backs Kimi’s AI Hacking Limits, Warns Failures Could Force KYC

Trusted Editorial content, reviewed by leading industry experts and seasoned editors. Ad Disclosure Ethereum co-founder Vitalik Buterin supports Moonshot AI’s choice to leave advanced offensive hacking material out of its Kimi K3.1 Pro model. TL;DR He says restricting what a model can do is far better than restricting who may use it, and fears AI security failures could trigger identity checks and surveillance. Moonshot’s own tests show the filtered model solving 81% of exploit tasks versus 90.5% unfiltered; open weights are due by November 4. Those numbers are Moonshot’s and have not been independently verified. Buterin Sides With Restraint In an October 26 post on X, Buterin said he was comfortable with Kimi K3.1 deliberately leaving top-end offensive cyber capabilities out of its training data. His reasoning centers on time. The world, he argued, needs room to harden systems, re-examine old software and apply formal verification to new code before AI-driven attacks become routine. Formal verification means mathematically checking that software meets its stated requirements, and Buterin has long promoted it as a way to catch weaknesses before deployment. In September he rejected ...