根據 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 的教授合作，開發用於網路安全與藥物研發的驗證系統。

根據透過 Dow Jones Newswires 的 Man Group 分析師 Dan Taylor 表示，SpaceX 股價在週四（6 月 18 日）盤前交易上漲 1.7%，此前一天曾下跌 5%。Taylor 質疑該公司是否能在 2030 年前達到 Elon Musk 預測的年營收 1 兆美元，並表示 SpaceX 的估值反映的是「押注執行長 Elon Musk」，而非清晰的 AI 敘事。 SpaceX 公布其在 2025 年錄得 49 億美元的淨損，且在 2026 年第 1 季度又出現 42.8 億美元的虧損。該股票近期的回檔，正好與週二推出 SPCX 期權交易同步，讓看空投資人首次擁有押注股價下跌的方式。Taylor 進一步表示，未來與 AI 相關的首次公開募股（IPO）的永續性，取決於目前的 AI 支出是否能產生真正的商業回報。

根據 Foresight News，Upbit 已將 Alpha Quark Token（AQT）與 Aergo（AERGO）指定為交易警示資產。至今，兩種代幣的存款通道已關閉。

根據 Beating news monitoring，Manifold AI（Manifold Space）已完成新一輪數億人民幣等級融資，令其 Pre-A 融資總額接近 10 億人民幣。投資方包括 China New Foundation、由 Temasek 支持的 Pinnacle Capital、BAIC Investment，以及 Xineng Venture Capital。 該公司自研的 WorldScape 即時世界模型，作為機器人的預訓練基礎，支援雙人手行走與操控互動。透過專家混合（mixture-of-experts）架構，WorldScape 以僅有主流競爭對手參數的 10%，在 WorldScore 基準測試中維持了近兩個月的第一名排名。結合 WorldScape Policy 動作模型，系統可過濾複雜光照與背景干擾，以實現零樣本微調的精準控制。該平台已部署於電商物流與消費性電子製造領域。

根據《南華早報》，6 月 18 日，上海證券交易所擴大了科創板上市規則，允許不具盈利的大型語言模型開發商申請上市。符合條件的公司必須預期達到至少 40 億人民幣（5.91 億美元）的市值、至少在規模化層面運作 1 項 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 個 pull requests，作為一個協調層，會在公司的整體程式碼庫中協同多個 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 加速晶片來最佳化其世界模型，以進行通用物理模擬。

根據彭博社引述消息人士稱，字節跳動每年在微軟的人工智慧與雲端服務上的支出預計將超過 10 億美元。消息人士表示，近年來字節跳動一直是微軟最大的 AI 客戶之一，主要使用 OpenAI 模型。