Andrej Karpathy最近抛出一个有趣的观察：对于研究编程语言和形式化方法的人来说，现在可能是最激动人心的时刻，因为大语言模型正在彻底改变软件开发的约束条件。