（来源：上观新闻）
2026年💆🐎2月以超过1🌗0亿美元估🐖🇮🇨值完成2🇨🇬.3亿美元B轮🌅融资，投资方包🐶括Jum🕒🈁p T🥽rading和😝卡塔尔主♈权基金QIA🌝。而林俊旸离职前夕🙌🥙，才清楚团队🏀后训练部分将由来🍃自DeepM🇸🇭ind的研究🗂🏋️♀️员周浩管🇦🇬🤹♀️理，核心管理层🇲🇶🇹🇲回答Qwe⌛👨n团队🕦🇰🇵时表示“周浩加入🇰🇳并不是要替代谁”👨👩👧“所以暂时没有🧁📩沟通”👝。因此，如何🇾🇹更好地保障大规模🇸🇻代码的🍂正确性，正成为🈹一个日益重要🇬🇦的问题🛒🧚♀️。而我们拥有全👡👃球每瓦To🦞🍐ken最多的👨🔧架构🚅。
于是国内这几家公🐿🇲🇴司集体转身，各自💨盯上了🇫🇷↔其中一条👎🎛。FM-Agent🚑 提出了🧬首个面🌍向大规模系统的💼全自动组🃏🐭合式推👩🚀🛳理框架，回应了这🏉份夙愿，也🤾♀️👩🎤为形式化方法🎸💘卸下“屠🐈龙术”的沉重铠👊⚠甲，大步👨👩👧👧走向千行百业开🈳辟了一条☣全新的道路🗨🔲。图丨基于自然语🕯💲言的代码🇶🇦🗿正确性推理示例🆑（来源：👨👩👧👦🇭🇰arXiv） 如🇾🇪🎫上图所示🇹🇻，FM-Agen🌅😥t 逐🇱🇺段推理代码执🇸🇿👐行后的程序状态🇦🇷🇳🇪描述（注📯释部分），即后置⚜🇧🇳条件，一🏀🚣直推理到函数返回🇳🇫，检查最终的程🗳序状态描☸🐄述是否违背了规约🍁里对最终🧿程序状态的要🦷求👟。
