（来源：上观新闻）
智能派在不🤛🎥到半年🇻🇺👩👧👧的时间内拿下两笔🚖🎥融资，吸引了大🇹🇭🏃♀️疆、美团、深创🤥投等多家知名🇨🇻🇦🇩机构；入局最👩🦰晚却跑得🧲最快的拓🇩🇪©竹科技被传🌜🇭🇺出估值超百亿📋美元的消💘息；创🌷☹想三维正🎲🗓在冲刺港股；不👚👵在“四小龙🤴”之列🇩🇴🚁的快造科技也👓获得了美团的投🕣资；安克创新、🐇原子重🗑塑等企🇦🇸业正在跨界进🇻🇪入这条赛道…🇿🇲… 然而，鲜花😈🦙与关注背后，行业♻超凡蜘蛛二免谷歌的情形🚃🇱🇰恐怕没有那么乐观🕟☹。
这个部门在2🇹🇰🐟025年全年🍖🏹曾创下👛📝178🙃亿美元的🇽🇰🧮营收，却录得了🇧🇹103亿🆑美元的巨额运营亏💔🧒损🇮🇷。真正引发🤡关注的是🥬一个具体案🇰🇼👩🦰例：配备自定🤯🎆义工具框架的G😐PT-5.5内部🛄🌈版本，协💿助发现了🕥一项关于拉🆔🎒姆齐数的新📵数学证明，并☸👽在形式化证明📫工具Lean中🇲🇹✨得到验证☄👩。
