（来源：上观新闻）
这组数字背后😒🌟的含义，值🏩得任何关心AI🖌产业格局🤒的人反🌘复咀嚼：当🙊投入产出比的差距🇧🇧🕠已经大到这个🍟程度，"🌒🚣♀️钱能买来💇♂️💰竞争优🙋♂️🕵势"这个命题，正😋⚜在被历史悄悄🌑撤销——但🚷🧩与此同时🔃，3000亿的🔑估值也在提醒我🧞♀️们，钱从来没有🐽🕵️♀️离场，只是换了🇮🇩🇳🇺一种更集中、🥟🐪更高门槛的方✍🚕式重新入🐬🇱🇰场💂。我们回归💷初心，以数据驱动🤟，保持🙇📋危机意识👨🌾🇱🇹，以工程为核心🎩。
在Putna🦚m-20😡🎿25（相当于🇨🇽📼数学界的奥林匹🇬🇼克）上，采用混合🔩🏪形式推理加Lea🦈n 4形式🐖🐎化验证的流程😱，DeepS🗨🇬🇫eek-V🤘🇰🇿4达到🦶120/120满🥐🅱分，与🎠Axi💚〽om系统🍅🧞♂️并列，领先🐢📚Seed-1.5🚹-Prover（👩🦲👬110/12🔍0）🇰🇷超凡蜘蛛二免谷歌。基辛格🌈🏍的战略是同时🤢😫超凡蜘蛛二免谷歌做芯片设计和晶圆🙊🆚代工，前者⚫🍎需要产品创新🇬🇳🍰，后者🧾🐑需要制造精度，🥜两头都要📝🏋️♀️兼顾，资🇪🇨📃源分散，🚞📁组织臃肿💴。
