（来源：上观新闻）
在 LLM〽 时代⭐，如何让形式👷🌭化方法的脚步快🇨🇭❎速跟上编程智能🤞🚍体的发展👨🏫🤜速度变得越🆓🇸🇿发重要⛏🥖。表丨FM-A🧾🏑gent 在大规🥾模软件中找到的🏗🏚 bug 数量（😊🔖来源：arXiv😦🤾♂️） 这些系统此🎅🕢前已经过开发者📧的单元测试、集🐯成测试、差分测试🥜🎅甚至多🔫智能体交📉叉代码审查等🇸🇳🎢。
不过机㊗💴哥觉得也很够🐖🎁用啦🧿🕎。服务器、数据、🚺算力、🌒商业化、人才👨👦👦🐐、期权，🇸🇲🇹🇻每一项🐷🌫都不是纯研究🚾机构可以长🧧期绕开的东西🇮🇷。但我发现，在大💾♒多数研发🇳🇨🍐组织中，等🔨待时间远大于加🖨工时间🚓。被砍掉的🇵🇲🌻不仅是🕷产品🐗👘。
对于 D🧁eepS🐄🤡eek📈🚨 而言📲🛡，接受外🏗🇭🇷部输血不仅是应💇♂️对中美科技🇨🇦🎣巨头高🔜压竞争的防御之😗😓举，更是🤚为了确保 V4🇨🇻🧣 乃至更遥远🌐的下一代模型能够🛩顺利突围🛅🗑。如果你的公⛅⛅司有人跟你说，🌐🇸🇳写不出软件，你来🛐找我！钉⛱钉可以保👩👧👧🐌证不管什么🛌样的软件诉求，“🍩🌺悟空”都🔒🙃能完成，而🏢🍡且写出来🕓🔩的结果远超大🇲🇭🏃部分软件公🤧司🇸🇦💙。
