清华与沃顿研究者借助 GPT 证明梯度下降步长存在理论上限
清华大学工业工程系研究者 Jianhao Ma 与宾大沃顿商学院教授 Yuxin Chen 发布论文,证明标准梯度下降仅靠预先设定步长序列,无法达到 Nesterov 动量方法的 O(1/T²) 收敛速度。论文给出的下界为 Ω(T^-1.9319),核心证明由 GPT-5.6 Sol Pro 在研究者监督下完成,并通过 Lean 4 形式化验证,代码已在 GitHub 公开。

清华大学工业工程系研究者 Jianhao Ma 与宾大沃顿商学院教授 Yuxin Chen 发布论文,证明标准梯度下降仅靠预先设定步长序列,无法达到 Nesterov 动量方法的 O(1/T²) 收敛速度。论文给出的下界为 Ω(T^-1.9319),核心证明由 GPT-5.6 Sol Pro 在研究者监督下完成,并通过 Lean 4 形式化验证,代码已在 GitHub 公开。

成立仅两个月的共生知行将研发重点放在双足人形机器人的端到端感控一体化「大脑」上。公司称,分层架构存在信息瓶颈与级联误差,难以实现真正的 Scaling,因此选择更激进的纯端到端路线。其团队由 1996 年出生的创始人丁鹏翔和多名 00 后在读博士组成,已在具身智能方向获得两项 Best Paper 和一项 Best Paper Candidate,并推出国内首个 GitHub Stars 超过 2K 的具身基座模型。

DGrid AI将自身定位为去中心化 AI 基础设施协议,试图用统一调用层、链上质量验证机制 PoQ 和开放模型市场,解决中心化 AI 平台在服务质量、供应商锁定和价值分配上的三类问题。文中披露,截至 2026 年上半年,DGrid 已服务超过 15,000 名付费用户,产生 2300 万美元验证收入,AI Arena 吸引超过 50 万用户参与模型评测;随着 $DGAI 代币经济模型公布和 TGE 启动,项目正从 AI 服务产品向协议化网络推进。

Protos报道称,一个与孙宇晨旗下交易所 HTX 相关的地址近日向多个其他交易所的充值地址发送小额转账,引发 X 平台争议。部分用户称,这些交易导致其在 Coinbase、Bybit、OKX 和 Binance 等平台上的账户受到审查。涉事地址在 Etherscan 上被标注为「HTX 48」,且被列入 HTX 储备证明。HTX 组织认证账号 HTX_Molly 表示,官方渠道未发起相关转账或测试,正在进一步核查来源与原因。

7月30日,长三角(嘉兴)Token运营中心启动,运营方为嘉兴市城市投资发展集团。该中心主打统一API入口、统一Token计量、统一费用结算等“五个统一”,面向企业提供DeepSeek、Qwen等百余款大模型服务。文章同时提到,三大运营商、云厂商、模型公司都已进入Token业务,嘉兴的入场被视为地方城投切入算力基础设施运营的新样本。

嘉兴市城市投资发展集团在嘉兴启动长三角(嘉兴)Token 运营中心,采用统一 API、统一计量和统一结算等模式,向企业提供多款大模型调用服务。文章认为,地方城投进入 Token 赛道,意味着算力基础设施正走向国资接管阶段,也让“卖 Token”的利润空间受到关注。

PANews刊文称,Binance争夺的不是单纯延长美股交易时间,而是传统股票闭市后的首轮价格形成权。文中以NVDA、TSLA、SNDK、SPCX、SKHY等样本为基础,比较周末Perp、bStocks与下次现金开盘之间的关系,认为Perp更适合承接方向、杠杆与高频交易,bStocks则更像库存层和纠错层。文章同时指出,周末高成交量并不等于稳定价格发现,若要形成完整市场结构,Borrow、Conversion与链上流动性仍是关键。

Anthropic 已开始在其最新 Claude 模型生成的全部文本中嵌入不可感知水印,8 月 2 日先在欧盟上线,并称将推广至全球。该机制覆盖聊天机器人、API、Claude Code 以及 AWS、Google Cloud 和 Microsoft Foundry 等云端渠道。公司暂未公开检测工具和具体技术细节,而 GitHub 上已有项目尝试清除这类文本水印及相关元数据。
