（来源：上观新闻）
这样做🐚💶可以避免🎢被具体实现误导◀，生成的🇻🇳☠规约描述的是函数♊“应该做什么🇮🇴🤞”，而不是“🤜怎么做”🦵。当 AI 负责🇬🇫写代码，另一🖌🧴个 A🈹I 负责证🛵👨👨👧👦明它是对的，软件👏🤼♂️工程的核🎚心问题🐫🛫，正在被重新🍄定义🚴👩✈️。如果按这个标📐🐥准看，中国当♾️🇦🇪然不能🧴👩👩👧👧简单抄马斯克🇭🇲🥿。也是一个行业终于🍶🤔开始明白🍶🥼的一件事： 大火😩箭这条路，不是谁💩🇪🇺嗓门大谁赢🐿🧐。2026年起🇦🇮，大模型🇲🇳🥰落地能力成为🐢决胜关键，Tok💊en使用效率也🦖🚭变得更为👩❤️👩📔重要🐇。
例如，编译👨🔧器 C🇰🇼CC 中发现的一😱些 bug 会导🇧🇫致代码虽🍧🏄然可以正常编译🤭，但是🖍代码的执行🚷🇨🇩结果却是错的🔻🥫。我觉得我邀请的嘉🍏宾有时会表达🇨🇿🇰🇪完全相🦔反的观点➰👦。（图/🦑🎽pexe💳ls） 这💁🇬🇵指向了🇱🇺🍉一个深层悖论💑：如果AI的成本👨❤️👨持续上涨，而人🔡🙃的成本被不断压⛴缩，两者之间🇦🇶⛈会不会在💺某个节🇬🇮点上达到平衡🎠🕳？到那🚮🍩时，企业🤹♂️🇭🇷是选更贵的🏢🈹AI，还是选更🌝“便宜”🇳🇬的人？这个问题🐧🏁，暂时还没人能给😗出答案，🙇或者说，还没🍖到得出答案的⛈🔨时候✒🇫🇲。
物理AI、🚙🌺世界模🛩😙型或者💯↗说空间智能，正🖨在成为🇵🇭🇸🇿下一个风口🐙🚩。目前冷芯🇰🇾💚已完成首期量🔊👿产线搭建，具🥦🤐备月产🔇😧数千至万🎸级交付能力🇹🇹。在长上下文👳♀️🍴检索上，🈺Opus⚪ 4.6评🌋🙃分能到78.3%⛩，Opus®🥌 4.7🇸🇧👨🦲直接掉💶到32.2%😢。
