（来源：上观新闻）
其中一🖥位消息人🐫士称，作为重组📼📳的一部分，一☸🙇些员工还🚐✉将转移到上个月成🍿🌁立的 ⚙Met🚆👖a Sm🇸🇻🇹🇯all🤘🦢 Bu🇸🇬😡sin💩ess 👩❤️👩🃏部门🥖🇸🇦。图丨相🧯关论文（来源：a🍕✅rXiv） ⚫相关论文😣以《FM-👀Agent🇰🇷🔡：通过基于大语🦁🦙言模型的霍尔逻📃🎃辑推理将形式化方💁♂️🔏法扩展至大规模🇬🇵系统软件》（FM🎊⏰-Agen📌👨👧👦t: Sca🛎ling Fo🚊🎣rmal Met😍🔴hods 🏗to Lar↗ge 🇨🇴Syst🏆ems via⚱ LLM-🍉👯Based Ho🐈are🇨🇳-Styl🗑e Reaso🇬🇱ning）为题🚠发表在预印🙄🇹🇭本网站🛫🌵 arXiv🐈🇧🇦[1]🇧🇶。
YC 🚾紧接着就出了一期🤔🤵播客，⏫🇲🇭专门讲 vibe💥 coding🛠🚥 为什么会成为🇹🇫🧷主旋律，🇨🇽💭他们的合伙🤖🇨🇿人在播🤜客里说，YC 😎当季度投资的项🇬🇩📷目里面，👨🔧四分之一的公😅🔗司 vi🇳🇬be cℹ🔮oding 占比🤾♂️达到了 👨❤️👨⛔95%甚至以上😺🇬🇲，而且这些公♑司的创始人自己都✍🍡是计算机👩🔧出身，因为🇧🇫👨🦰他们更确🇨🇵💆♂️切地知道如何形容🌱☀自己的🇨🇾需求和修改🐩代码，他们反🇧🇹而更乐意用 v🏌️♀️💧ibe🚾❓ codin🕠😃g 去提效🔆。
