据动察 Beating 监测，致力于将数学形式化验证引入 AI 的初创公司 Pramaana Labs 宣布完成 2700 万美元种子轮融资。本轮融资由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 及 Unbound 参投。资金将用于为法律、药物研发、税务申报等高敏感且对错误零容忍的行业，构建确定性验证层。 Pramaana Labs 的系统底层仍运行传统的 LLM，以保持处理复杂问题与自然语言的灵活性，但其核心创新在于在 LLM 之上构建了一层确定性验证机制。该机制借鉴了用于验证数学定理的开源 LEAN 编程语言，将具体领域的行业规则代码化。 为了针对不同垂直行业构建 LEAN 风格的形式化验证系统，Pramaana 邀请了大量领域专家进行监督与背书。在税务领域，公司正与前美国国税局（IRS）局长 Danny Werfel 展开合作；在网络安全和药物研发系统方面，则由来自印度理工学院（IIT）德里与马德拉斯分校以及加州大学伯克利分校的教授团队主导。
火星财经消息，据 CoinPost 报道，SBI 控股于 2026 年 5 月对全球稳定币支付及加密货币交易平台 Fasset 完成战略出资，并宣布旗下国际汇款子公司 SBI Remit 与 Fasset 签署基本合意书（MoU），双方将共同构建基于稳定币技术的次世代国际汇款基础设施。Fasset 是一家以亚洲、中东、非洲为核心市场的数字银行，通过自有支付网络 “Own Network” 提供稳定币结算、汇款及投资服务，目前覆盖 125 个国家和地区、拥有逾 200 万用户。该公司于同月完成 5100 万美元 B 轮融资，投资方包括 SBI 集团、巴林资产管理公司 Investcorp 及土耳其 Arz Portföy 等。
ChainCatcher 消息，美联储释放偏鹰派信号，黄金价格承压回落。据 CoinGlass 数据显示，黄金（XAUT）现报 4280.41 美元，24 小时下降 0.62%。与此同时，全网 XAUT 现货 24 小时成交额达 2.93 亿美元，其中 Gate 平台表现尤为亮眼，其 XAUT/USDT 交易对 24 小时成交额录得 2665.57 万美元，7 日成交额突破 1.31 亿美元，均位居全球前二。此外，XAUT全网合约 24 小时成交额达 11.38 亿美元，其中 Gate 平台持仓规模约 1.19 亿美元，位列全球交易所第三位。
Odaily星球日报讯 币安公布第 43 次资产储备证明（快照日期 6 月 1 日），其中披露：用户 BTC 资产约为 63 万枚，较 5 月 1 日增加 4.26%， 增加 25838 枚 BTC；用户 ETH 资产约为 414 万枚，增加 10.17%，增加 382619 枚 ETH；用户 USDT 资产约为 343 亿枚，减少 1.33%，减少约 4.6 亿枚 USDT。
火星财经消息，CryptoQuant 分析师 Darkfost 在 X 平台表示，在本轮回调过程中，持有超过 1 枚比特币的大型投资者正在利用价格下跌持续加仓，其持有的 BTC 总量已升至历史新高，超过 1,680 万枚，显示出长期配置需求仍在增强，并进一步体现比特币资产的机构化趋势。数据显示，该类投资者持仓规模持续上升，暗示市场参与者更倾向于从长期视角进行资产配置，而非短期交易。在散户层面，分析指出当前也出现重新积累迹象，但整体仍较为谨慎。目前散户持有量约为 1,700 万枚 BTC，仍低于 2023 年 12 月创下的历史高位。部分散户在此前上涨过程中已选择获利了结，也有部分资金可能通过 ETF 等更便捷渠道进行敞口调整。分析认为，尽管不同投资群体行为节奏存在差异，但当前市场整体正逐步形成共识，即现阶段更偏向长期配置窗口，资金重新进入积累阶段的趋势正在增强。
火星财经消息,有投资者问安凯微，2026年芯片厂商都在大幅上涨价格，华强北市场低端白牌芯片都是一天一个价的上涨且严重缺货，请问公司产品涨价幅度多少？公司芯片有没有供不应求的情况？安凯微在互动平台表示，不同品类的涨价幅度不同，目前个别品类的需求订单确实很旺盛，公司也一直保持实时关注，会结合上下游情况做好供应链协调及产品交付工作。(财联社)