（来源：上观新闻）
这是一整套🇯🇪系统工程，赛道👡足够大，足够难🤑，足够需要钱👩👦↗。然后，🇲🇶♏给每个函数🔅写一份精确💖🇲🇵的形式化😃规约（F👏🌓orm⁉💏al 🦐Spec☣ific👥🏸ation），即⬆一份用🤪数学语言写成🇬🇦🏖的“说明书”🦋➕，说明执行😵函数前程序状👨🏭态需要满足什🧼么条件（🏴☠️前置条🚺🇸🇪件），执🔹行后函数👨💻保证输出什么样🌌🌉的结果（后置🍏条件）😦8️⃣。
这样做🛎♋可以避免被具🏧体实现误导，生🦄👐成的规约描述的是♠函数“应该做什么🍕👨🌾”，而不是“怎🕳🇬🇧么做”🇾🇹。如果我们劝人🇲🇭📗们不要做软件☘🦀工程师，那我们🧁将会面🍫临软件👼💐工程师短🗣😟缺的问题🥩🇫🇴。不论是AI工😤厂、芯👨🏫片制造❎还是机器🇮🇳人产线，能源基础🇬🇶设施的🇮🇶建设周期比芯片🎿🐬产能长得多🔚👩👧。
Romain💘：你知道吗？♊👩👧👧Codex团🇭🇰队就是这样工作❤🇹🇰国产成人综合欧洲的🥙🔦。那么问题来了🇨🇳😊，为什么时隔⛵➡一年，这💃🛄个一直以☺克制、🈴低调著称的创👥📆始人，会🦇🤠从“拒绝融资🚬”的态度，转变🕺📃为主动🍴🇧🇳接触资本🚪🍇？这中间究🔬竟发生🧚♂️了什么？在笔者看👨✈️来，这并不只🔰是态度变化，🏊♀️🔘更像是某种外部约🎥束开始🇨🇵显性化✴。
