AI & Enterprise

OpenAI内部模型Astra解出10个多年未决难题并公开可机器验证的形式化证明

OpenAI表示，旗下尚未公开的内部模型Astra已在数学、量子复杂性和理论计算机科学领域，针对10个悬而未决至少10年的问题给出新结果，并同步公开可机器验证的形式化证明。公司已在GitHub以Apache 2.0许可证开源249页论文草稿、模型推理过程及基于Lean 4的证明证书。不过，这些结果仍需学界进一步核验其是否准确对应原本的未决问题，以及其学术价值和影响。

Crypto

以太坊7月涨19%强于比特币，ETF与企业买盘支撑反弹

在现货ETF资金回流和企业买盘带动下，以太坊7月累计上涨19%，明显跑赢同期仅上涨8%的比特币。尽管ETH/BTC一度站上0.030，但多项链上估值指标及交易所流向数据仍高于历史反转区间，市场更倾向于将本轮上涨视为低位修复，而非趋势反转已经确立。