贝壳-贾琳-当我们用AI写了100万行代码.pdf

1、当我们用AI写了100万行代码-贝壳智能编程养成记贾琳 贝壳 架构师贾琳 壳找房“壳研发效能专家、基础产研平台架构师，深耕软件动化提效领域，主导过向企业的代码/低代码开发平台、站式产研协作平台、效能度量平台等型研发提效类项的落地。近期带领团队探索基于模型的研发助类产品研发，结合AI与软件程技术，在壳成功落地AI研发助CodeLink。”请插 您的照讲师简介摘要1.AI编程的发展现状以及壳对AI编程的判断 2.壳AI研发助CodeLink的设计理念与技术实践 3.在企业成功落地AI助类产品的经验AI编程的学界叫法：Program SynthesisChurch A.Logic,arithmeti

2、c and automata.In:Proc.of the Int1 Congess of Mathematicians.1962.23-35.Zohar Manna and Richard J Waldinger,Toward automatic program synthesis.Communications of the ACM,14(3):151165.1971 Amir Pnueli and Roni Rosner.On the synthesis of a reactive module,the 16th Principles of programming languages,PO

3、PL,1989 Sumit Gulwani et al.Program synthesis.Foundations and Trends in Programming Languages,2017 Erik Nijkamp et al.an open large language model for code with multi-turn program synthesis https:/arxiv.org/abs/2203.13474,2022The goal of program synthesis is to automate the coding process,and genera

4、te a computer program that satisfies the users specified intent./动化编程过程，产个所表述意图的计算机程序Some have called it the holy grail of computer science(Manna&Waldinger,1971;Gulwani et al.,2017).Successful program synthesis would not only improve the productivity of experienced programmers but also make programm

5、ing accessible to a wider audience/不仅提升专业程序员的开发效率，且让更多受众也能编程 AI编程的两挑战程序空间程序就是个字符序列，所有字符的排列组合构成了个巨的程序空间 如何在这么的空间中找到标程序？程序搜索技术是核。户意图如何表达户的意图？形式化的逻辑描述（可能写代码还难）、输输出例（Excel）、然语（需要交互）然语表达意图，给程序员的AI：GPT带来的机遇模型(Transformer)的序列预测能很强，是前最有效的程序搜索技术模型真的能带来提效吗歌的实验（2021底）：AlphaCode参加了DeepMind编程竞赛平台Codeforces上的10次实

6、时赛，它击败了 46%的参赛者；微软的实验（2022.9）：编程实验，Copilot组71分钟，普通组161分钟，提升55%，且Copilot组完成度更 华为的实践（2023.4）：编程竞赛前200名进调查，84%的重度使，前10名全部。去年第1名没有，排名100+了，88%的认为可以提升效率。https:/arxiv.org/abs/2302.06590https:/arxiv.org/abs/2303.12712任务类型任务描述例CodeLink推荐指数开发类（48%）编码（阅读或编写代码和测试）15%Bug修复（调试或者修复错误）14%测试（运测试、性能/冒烟）8%思考（使或者处理需求）