北京大学讲座：大模型时代的软件研发：技术、范式与工具_人工智能