（来源：上观新闻）
图丨相关论文🦕🇧🇶（来源：arXi📑👨❤️💋👨v） 相🚭关论文以《♎FM-Agent😎🏛：通过基于大语🥑🐽言模型的🍍霍尔逻辑推理😀🚪将形式化方法扩🌤展至大🌚😓规模系统软🖨件》（FM🥟*️⃣-Ag💻🌔ent: Sc🍶aling F📷ormal M🧧🇫🇮ethods🇧🇫➡ to Lar🇷🇺ge Sys🆖tems via🇦🇴🇨🇿 LL💽M-Base☸🏄d Hoar🥌e-Styl🇸🇴⚫e Reason🐥ing）为题发表⬆⬇在预印本🦍网站 a👩🚀💰rXi🐸✍v[1🇬🇺✅]🧦⚪。
但坏消息是，信息🛷👩👩👧仍然在逐层流动🇫🇷🥏，第152↔🇮🇷层没有办法直👨💼🇩🇰接回溯到第3🦛👨⚕️层🐲。粗略计🎩算，All🔗birds的5🕺000万美元💚👶理论上只能买1🚧✒250张H100🦑；若加上🦶整机、机房、✋⚫电力与运🇪🇺维，其实🧯🥕际规模仅有数🧜♀️百台服务器🇧🇿🌷，相当于一🇻🇪个中小型机柜的规👦👨✈️模📢。
