（来源：上观新闻）
面对这种生产力♐🗑爆发，企业🔺的组织架🏵🚥构和人才筛选逻辑↙必须重构🇹🇷。无论是🌫🇮🇲 VIM 还是 🥶VS C🕙⏸ode🌩，亦或是🆑现在的 🇲🇬🌍Claude❗🍵 Cod💓e 或 Cod📜ex 等等，都是🐒如此👱♀️。有哪些工作即🔱将比人🇳🇺们预想的更🙏📆快实现自动🇮🇹🧪化？又有哪类🥐职业是人们认为安🚚🌆全，但实际上却极👨👨👦易被验证🇯🇲🤫的？ Andr🐥ej Karp🐩athy：我😇花了一些时👨⚕️间撰写关于可🥦验证性的文章🍌✉。
去年12月🏝是一个关键的转🌖🚪折点，K🏉arpa🧂thy坦🤾♀️言，面对最新的🖇AI模型，👾♒他经历🤽♂️📆了深刻📝的震撼↖👋： 系统生成🇲🇵的代码块越来🛁越完美📅，我甚至🚶🌚记不清上⛺🤷♀️一次修改它是什么🛠🍆时候☕🇬🇪。从根本♏上说，传统🏊计算机可以轻松自🚙动化那些能用代码🎒🌉明确定义的事物🇧🇲，而最新一代的😵 LLM 从🔸某种意义💍🇳🇷上讲，🎿➡可以轻松自动化🐪那些能🔝💌够被验✳证的事物😽🛵。
