三星建设混合键合产线，预计用于英伟达 Feynman 加速器

Vitalik 在 X 平台表示，一种值得尝试的新型高级编程语言是编译为 Lean 或 HOL 等的语言，重点是让人类更容易阅读定义和定理，而非证明，因为 AI 输出证明时，读者需要轻松理解其中被证明的精确主张。

美元兑日元 USD/JPY 汇率突破 163 关口，刷新 1986 年以来新高，日内涨幅为 0.34%。

据伊朗 Press TV 报道，伊朗革命卫队击中科威特贾比尔基地的美军雷达。

根据 MSX.COM 数据，美股比特币概念板块上涨，比特币突破 6.6 万美元关口，现报 6.6694 万美元。Strategy 涨超 5%，Coinbase 涨超 12%，Robinhood、Circle 涨超 7%。美国总统特朗普同意在《清晰法案》中纳入伦理条款，白宫就《清晰法案》伦理方案达成一致，法案文本最快同日发布。

Canton 公链开发商 Digital Asset 在 3.55 亿美元融资基础上，新增引入新韩金融集团和 SC Ventures 作为战略投资方。