Anthropic 宣布其 AI 模型 Claude 耗时 11 天，将已有 350 年历史的数学难题费马大定理转化为 1300 万行代码证明。该证明无需人类信任，可由计算机自行验证。Anthropic 表示，这展示了 AI 在形式验证和复杂逻辑推理中的潜力，有望推动数学证明方式变革。

以太坊联合创始人 Vitalik Buterin 对比自己 2023 年提出的路线图与以太坊基金会最新 Strawmap 后表示，当前协议升级重点已出现调整，隐私保护与抗量子安全性被放到更靠前位置，部分 EVM 改进和可验证延迟函数则被下调。Strawmap 还纳入 leanSPHINCS、zkzk frames、原生 rollup、区块空间与燃料期货等新方向，STARK 递归验证与 AI 辅助形式验证也被视为未来协议核心组件。

ChainCatcher刊文称，韩国、美国和日本部分科技股近期的波动、杠杆交易和社交媒体驱动特征，正与加密市场愈发相似。文章以韩国市场为例，提到KOSPI单日大跌、个股杠杆ETF扩张、散户集中参与，以及比特币波动率在部分阶段低于大型科技股，指出当前市场中叙事、杠杆与传播方式正在重塑股票定价逻辑。

XRP Ledger Foundation委托Common Prefix进行形式验证审计，发现xrpld软件中的安全漏洞。所有修复已纳入XRPL 3.2.0版本。同时，形式验证将扩展到新的DeFi提案，托管争议持续发酵。

Tom Lee的Bitmine实体在四小时内从Kraken和BitGo买入35,138 ETH（价值5865万美元），同日Vitalik确认以太坊基金会2026年预算削减40%并裁员54人。Solana联合创始人称重组为重大利好。

Zcash核心开发者Sean Bowe公布Ironwood升级最新进展：过去48小时内各组织就规范细节达成共识，形式验证与三家审计公司同步推进。

以太坊基金会将年度支出目标从资产15%降至5%，预算削减约40%，并重组为七个核心小组。Vitalik Buterin承认裁员艰难，ETH价格随之跌破1700美元。

以太坊基金会正式推出Post-Quantum Ethereum资源中心，目标2029年前完成协议层量子抗性升级，优先整合SNARK防止性能崩溃，数亿账户迁移与防漏洞是真正挑战。