（来源：上观新闻）
" 附：🇺🇳🧹Cerebr🥭🏚as关键时间线👨👦👦 2007年 F🇧🇮🚊eld🚐💸man联🖋合创立SeaMi⛵👨👧👧cro，做超🐌低功耗微服务器🔁🥇。但在"用🥕非GPU架构做😨推理"这个🇱🇹🦌更大的命题下，赛🍩道从来不缺参赛者🥋。中国电视剧制🧱🇳🇫作产业协会会长🛥侯鸿亮在会上🔒透露，有平🐐🇦🇹台每周收到上千🤒部剧本，签约的只🥘有2%—3%，不🧝♀️是因为供给🐟💊不足，而是因为🇨🇬🌇“好的太少了🐩🎄”⏫🎷。真实情况是，企👔🧲业目前购买的是🔧一段被组织过的🦝🏌️♀️智能劳动，裸模型只是🇹🇴🇵🇾其中的一小部分🦓。Coun🧦♾️terpoin🇷🇺🤠中文自拍t的测算明确指🥀出，当☮💛前7.♿5%的年产能增速🕕与缓解短缺所需🏯的12%之间存🔃在显著鸿沟🤲🆘。我们不是那种“🔡加入进♌来后，先给你12🏜个任务，按难🚣度递增顺⏬序完成就行”的团🎐💾队🇱🇨🗾。我觉得，这一点真🚆的让我着迷🇸🇹。
在此之前，🙊🥒提高吞吐🏢🕓量一直更🇳🇫🇰🇷为优先👨👧🥰。任务目标是，训🇮🇳练一个能够🧞♀️通过线🐪😣方式进行💽🐋图像识别的神经😿网络🇬🇹🤩。在 20🇯🇴🇵🇦 世纪 6🖼🍎0 年代，托🥗🏩尼·霍♌尔提出了今天🏸🏛形式化验🇧🇩🛢证的重要🌄🐾基石——霍尔逻🏴☠️辑，然而直到他🗂🌿今年逝世前🇺🇾👹，形式化验⚛🧣证仍然囿于🗯👨👧人力成本，难以🧧扩展至大规模软件🐍中🔽🐒。这个直觉后来被翻🇺🇲🧭译成了👓🖊一个关🏹于AI🔒🇵🇫计算的判断：🔥🌗如果你能让🧜♂️推理足够快🇦🇬，新的商业🥐🇦🇽模式就会🦸♂️📻自发生长出来😗。在 20 世纪 ✅60 年代，托尼📜👨⚕️·霍尔提🏃出了今天形式化验⏪🥎证的重要基石——🥈😳霍尔逻辑🍠，然而🎆直到他今年🥟🦝逝世前，形式化🇿🇦🐒验证仍然囿于人力🥈🇹🇦成本，难📢以扩展至大🧓👩🏫规模软件中🚌🇦🇸。
