（来源：上观新闻）
“用户通常使用🎷自然语言描⛴🇫🇮述系统设计，FM😞-Ag💹ent 生成的规👔🍧约也是自然语言🔍🇨🇷，而传统形式化验👨👨👧👦证器只支持基于🚹😹数学公式的推🍘理，二者🐱🗓存在巨🇰🇮大的语义鸿沟🌵🥺。
如果你参加过GT🔴🧛♂️C，你会对它的规🏊🤾♂️模和与会🇫🇮者数量感到惊讶🍿。Anthropi💝😷c在官方公告🇧🇶⚰里明确写道：⏭老师办公室里做好紧好爽新分词器会📜导致相同👚🖋内容的toke🚴♀️n数变为原🍩🥇来的1.0到1💊.35倍🕐🎸。
对旁人来说，C9🇩🇰🚧19首航或🔕许只是一个值✳得欢呼的🇵🇪🇹🇨新闻时🇬🇱刻；但🌕对程老来说🇨🇴🇬🇹，那是他一辈子😽💙念兹在兹的事业终😡🤦♂️于走到😁老师办公室里做好紧好爽了这一🐠✊步，是他在晚年🧘♀️亲眼看见🔟🚂后来者🧨完成了自己🏐😊从青年时代起就🧠开始追逐的👚🏧梦想，🥽看见中📸🦸♀️国人自己🕙🇰🇲的大飞机终🇹🇯🧚♂️于不只是🍡🎧飞上蓝天，🇨🇻👓而且开始真正走向❤🏆商业运行🇮🇹🌌。
