Vitalik Buterin 在 X 平台提出的觀點指出：“bug 是不可避免的，你不可能編寫無 bug 的程式碼” 的說法在2030年代可能不再成立。
他表示，雖然許多軟件在特定使用情境下仍會存在漏洞，但如果開發者真的希望擁有無 bug 的代碼，那麼在2030年代有可能實現。
要點整理：
- 現階段仍普遍存在漏洞，但技術發展（如形式化驗證、AI 助力除錯、語言與開發方法的改進）可能在2030年代帶來更高的可靠性。
- 在某些使用場景下，功能提升的優先級可能高於徹底消除所有漏洞，因此仍可能存在漏洞。
- 若開發者真正追求無 bug 的代碼，2030年代或能實現這一目標。
來源：https://www.panewslab.com/zh/articles/d6e8130b-7a32-45ba-9f1e-2fa613f1833e