编程已死,AI当立?教授公开“唱反调”:AI 还帮不了程序员