（来源：上观新闻）
表丨FM-Ag😟🇧🇷ent 在大🇸🇮规模软件中找🧐🦟到的 bu⚛🥶g 数量（⛅来源：a🐡↗rXiv）🐀 这些系统此🔃前已经过开发者🎰🛸的单元测🇱🇻🌁试、集成测🇧🇴试、差分测❎⌨试甚至多智🈸🐊能体交叉代码审🧾🇸🇩查等🇲🇦。这意味着，我们正🤸♀️🤖在构建😂🇮🇴计算平台的工作是⛱🖱这样的：如👦😵果我们不去🧫做，我真心相🗳信就不会有人🙇♀️去做🔹🎖。
因此，尽管🗑相关工作在自动生↗成证明方面🧳取得了长足的🇪🇹进步，但是从本质🙉📉上来看形式化🕵️♀️🚌方法仍然是‘屠龙👎之术’，难以推🇬🇳广至大规模系🔄🔁统软件🚅。下面是智东♋🇫🇮西整理的⬛🦢播客核心📇🚣要点：🌜 1.很少🇧🇻写文档，1🇰🇳⛲0个要点就够了🎬🤩：Codex团队🎵🇪🇦成人精品久久久久软件极少撰写长篇技术🥘🇵🇰文档🇸🇻🦢。
