（来源：上观新闻）
大规模内测和产🐂🔵品正式上线后🌖🤥的用户反馈，🧞♀️🇩🇬才是真正的试金石🎟。然后他说了一💻句让我🚭挺感慨的话："🏆🙍♂️写软件又变得🐡像打游🇧🇫🌛戏一样了🛸😫。这与200🇲🇻4年前🇱🇻后，有™人提议去淘宝做电🧘♂️商的情形颇为相⛄似🆕。Peter 🚥👺14 岁开始写🍅🎇代码，后来创✝🤭业，没拿风投🙋♂️🤓，每个周末都在🐎🛍干，干🈵🎄了整整十年，最后🇲🇽把公司卖了🌆。
在 4 月⚽🚋 17-18 日👩💻🚎的 2🌤💤026 🚉🕧奇点智能技术大🐀🤑会现场🔍，它们被反👮♀️♟️复抛出、被不⛑📸同观点正面碰撞🇮🇱🗡，也被来📥自一线的😗🇶🇦实践者🚻🧗♂️逐一拆解⚱🌹。产品经理不🚆📟会写代😭码，所⬇以需要开发；开📲🧘♀️发不懂用户🗿，所以需要🤢产品🧜♂️🏫。但它更像中国😺🐾该有的💋🏰节奏🚰🇸🇲。因此，尽管相🍊🇻🇳关工作📑🏞在自动生成证🧞♀️明方面取得了长足🇬🇳🇰🇪的进步，但是🎮🌠从本质🇧🇴上来看形式化方法🇮🇩👤仍然是‘🍄屠龙之术🚽🧕’，难以推广至💴大规模系统软件👱♀️。
