（来源：上观新闻）
其实早☮☸在2018年😕，群核科技就开始⛑😤探索空间🇦🇹🕺智能👁️🗨️🍰。那一天，🌳🇵🇳我受邀前往📞久久久综合九色合综上海广播电视台，👨🚀🚈久久久综合九色合综在演播室担任直播🦆🌁解说嘉宾♋。然后，给每个🕰⚡函数写一份精确🙉的形式化规约🇪🇷🔻（For🥠💗mal Spe🔖cif🛹🥉ica🇧🇯📀tion），🐞即一份用数学语言🦞🛡写成的“👨👧🇸🇷说明书🆖”，说明执行⛹️♀️🦍久久久综合九色合综函数前程🆚序状态需🧟♂️🤷♂️要满足什🙋么条件（前置条件🎭🥰），执🏥🖨行后函数保证🥐输出什么样🐸的结果（后置条件🦃）🦎。
就像PM其👨👨👧👧实只是一个标🥧🌰签，指🇩🇪🥙那种既能设计🚏😥广告、写代码、又💬🇲🇨对用户特别🔷感兴趣的家伙，你🌯懂我的意思吧？🍅🗿其实，🌬这同样也可能👟是个工🇬🇷♿程师，他对用户的👨❤️💋👨需求同样敏锐💄📶而深刻🇪🇬。
如果把时间倒🧜♀️🏳️🌈回20🏎25年，你会发🌙🎠现，他去年一共⏫构建了超过40⛵个开源项目，🇨🇿🚳而这些项目无🇩🇴一例外↕都围绕着同一个🔵⏬愿景：👼🎢我需要一个🍚命令行🍀界面来🚖访问我的日历🚃⏩；我需要一个命令🎊行界面来🤷♂️🤐访问我的推文和G🧜♀️mail👨🎓。CLI面向A🉐☀gent执行，高🥰🛒效干活；G🏳UI面向人类理解📑，感知和交互👩🔬。
