据 Beating，AI 形式化验证初创公司 Pramaana Labs 已完成一轮 2700 万美元种子轮融资，由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 和 Unbound 参与。该公司使用 LEAN，一种用于验证数学定理的开源编程语言，在大型语言模型之上构建一个确定性验证层，面向法律、药物研发和税务合规等高风险行业。 Pramaana 正与前美国国税局（IRS）专员 Danny Werfel 合作开展税务应用，并与来自 IIT Delhi、IIT Madras 以及 UC Berkeley 的教授合作，开发网络安全和药物研发验证系统。

根据 Man Group 的分析师 Dan Taylor 通过 Dow Jones Newswires 表示，周四（6 月 18 日）SpaceX 股份在盘前交易中上涨 1.7%，此前一日下跌 5%。Taylor 质疑该公司是否能够在 2030 年前实现 Elon Musk 预计的年收入 1 万亿美元，并表示 SpaceX 的估值体现的是“押注首席执行官 Elon Musk”，而不是清晰的 AI 叙事。 SpaceX 报告称其 2025 年净亏损 49 亿美元，且在 2026 年第一季度再次亏损 42.8 亿美元。该股近期回撤恰逢周二 SPCX 期权交易启动，这为看空投资者提供了对冲押注的首个途径。Taylor 还补充称，未来与 AI 相关的 IPO 的可持续性取决于当前 AI 支出是否产生真正的商业回报。

据 Beating news 监测，Manifold AI（Manifold Space）已完成新一轮多百万元融资，将 Pre-A 融资总额带至近 10 亿人民币。投资方包括 China New Foundation、Temasek 背书的 Pinnacle Capital、BAIC Investment 和 Xineng Venture Capital。 公司自主研发的 WorldScape 实时世界模型作为机器人领域的预训练基础，支持双移动体与操控交互。WorldScape 采用专家混合（mixture-of-experts）架构，仅使用主流竞争对手参数的 10%，在 WorldScore 基准测试上已维持领先排名近两个月。结合 WorldScape Policy 动作模型，该系统可筛除复杂光照与背景干扰，实现零样本微调式精细控制。该平台已部署在电商物流与消费电子制造中。

据《南华早报》报道，6 月 18 日，上交所扩大了科创板上市规则，允许无盈利的大型语言模型开发者申请上市。符合条件的公司预计其市值至少达到 40 亿人民币（5.91 亿美元），至少规模化运营一款 LLM 产品，并且拥有明确的商业化计划。 交易所还在 6 月 17 日修订了科创板规则，涵盖量子技术、生物医药、氢能、核聚变、脑机接口、机器人以及第六代移动通信（6G），通过更灵活的上市标准，支持 AI 及其他战略性领域。

据 Odaily 报道，韩国金融服务委员会于 6 月 18 日发布了修订后的 AI 指南，自 6 月 22 日起对所有金融机构和 FinTech 公司生效。该框架确立了七项原则：治理、合法性、互补性、可信度、金融稳定、诚信义务以及安全。 在 6 月 22 日，韩国金融监督服务将同步发布 AI 风险管理框架，同时金融安全研究所将公布 AI 安全指南。政府还计划放宽网络安全隔离要求，并完善数据匿名化程序。

据 Odaily 称，Block 宣布推出 Builderbot，这是一款面向 AI 原生的开发工具包，能够处理约 15% 的生产代码变更。该工具每天执行超过 200,000 次操作，每周合并约 1,500 个拉取请求，并作为编排层来协调公司整个代码库中的多个 AI 代理，而不是孤立的仓库。

据 Beating，生成式世界模型初创公司 Odyssey 宣布完成一轮 3.1 亿美元的 B 轮融资，估值为 14.5 亿美元。该轮由 Natural Capital 领投，Amazon、Google Ventures (GV)、AMD Ventures、EQT 以及 In-Q-Tel (IQT) 参与。Odyssey 将与 Amazon 的 Annapurna Labs 合作，借助 AWS Trainium AI 加速芯片优化其用于通用物理仿真的世界模型。

据 Bloomberg 援引消息人士称，字节跳动预计其每年对微软的人工智能和云服务的支出将超过 10 亿美元。消息人士表示，近年来，字节跳动一直是微软最大的 AI 客户之一，主要使用 OpenAI 模型。

据 Man Group 的 Dan Taylor 称，6 月 18 日，SpaceX 的估值并不反映整个 AI 行业的整体健康状况；相反，它代表的是对 CEO Elon Musk 的个人信任溢价，而非由真正的 AI 驱动叙事所带来的结果。Taylor 指出，尽管 SpaceX 不太可能实现 Musk 所称的到 2030 年实现 1 万亿美元营收的目标，但投资者对 Musk 过往业绩的信心仍足以通过这种“信任溢价”因素来维持公司的估值。

据 Foresight News，支付区块链 Tempo 已推出 MPP Credits，使开发者能够通过信用卡、借记卡、Apple Pay 或 Google Pay 直接为 Machine Payments Protocol 服务的 AI Agents 提供资金，而无需先将稳定币兑换。MPP Credits 存储在 Tempo 钱包中，并可在所有支持 MPP 的服务中使用，商家在 Tempo 上以 USDC.e 即刻结算。该功能由获得授权的支付服务提供商 Coinflow 提供支持。