（来源：上观新闻）
据报道IPO目👖标估值约350🌬🌄亿美元，🌠拟融资30🎑🛑亿美元😛。但我们并不是试图🍧🍞做“尽可能🐙多的事情”，而是🧘♀️🦗“尽可能🤷♂️🐅少”😌。" 解法是把💉芯片造🧾↖得足够大，大🎭到可以在芯片🤤上放下📓🇵🇹足够多的SR🧗♂️🚼AM👨🎤。算力成✖🇨🇰本“断崖式”📽下降🎉。图丨基于🦕🇬🇺自然语🇲🇦言的代码正确性⭕🥕推理示例（来🈵🇿🇦源：ar🛄Xiv🇦🇩） 如🇾🇪上图所示，FM-🇧🇭🏊Agent 😚逐段推理代码🇫🇴执行后🐥的程序状态描述（🦀注释部分🐅），即后置条件♉，一直🤸♀️推理到函🕺🏌️♀️数返回，检查最终🥈的程序🥿🇧🇹状态描🛀述是否违🈳背了规约里对最⚔人在线免费看终程序状态的要求⛹️♀️。” （图/《👶↪真实的人类 第一🇨🇭😳季》） 那么问🦇🎪题来了：效率🇹🇲🦠提升的🏝🤢收益，最🇲🇷🕢后进了谁的口袋？👞 张玮8️⃣🇧🇻分析道🦵🎅：如果你所在的公🏕司正处于业务🇫🇲扩张期，产品经理👃带着需求⛪、排着队🤴🇺🇿等开发人员，那🍚么AI带来的🇹🇬🇵🇱效率提升是皆大🕞🏒欢喜的——你能在🇻🇬🥣同样的👩🦰时间里做更多的🦒🛑事，公🤐🇵🇹司能用更快的速🕴度抢占市场🏓🇷🇺，每个人都🧕觉得自己在“创🗓💁造价值”，🇨🇬🔔这是一🇲🇷🐫个正循环🎷⏬。
图丨基于自然语🔓✝言的代码正🙍🇲🇻确性推理示例（来💬🚣♀️源：arXiv）📿📓 如上图📘😢所示，FM-🍁🧘♀️Agent 逐段☝推理代🇸🇪码执行后的程序状⚠🆎态描述（注释部分🇴🇲），即后置条件💿，一直推理到函数↩返回，检查最终📆的程序状态描述是🕉💙否违背了规约里⛓对最终程序状🇲🇸🌃态的要求🧬😬。"十年前英伟🇸🇲达市值100亿🇹🇰🌭。完整巡天🍓数据集😲有望对相关结🇩🇿论进行更高🇲🇵精度验证🏐。GPU使用的H🇧🇲BM读写慢🇦🇬🆎，是推理过程中🐆的根本瓶🕳颈，每生成一🎿个toke🇴🇲n，一🇬🇮🍆个70亿参数模👈🇬🇭型需要搬运约📔140GB数🍋据，频率极👤🦍高，HBM🥼跟不上🐷🥟。
