2
04% — 2026-07-21
今日TOP 3:
1. AI 用一页证明改写 44 页经典数学结果
GPT-5.6 Sol 给出的新证明被 Erdős Problems 维护者 Thomas Bloom 核验为正确，并用一页纸覆盖过去 44 页论文处理的问题。价值不只在“解题”，而在提出更简单的新数学结构。
2. Databricks 融资 30 亿美元，估值 1880 亿美元
Coatue 领投，估值较去年 12 月上涨 40%。公司收入运行率超过 54 亿美元、同比增 65%，AI 年化销售额逾 14 亿美元，融资将主要补充开放模型所需 GPU 容量。
3. Kimi K3 算力售罄，月之暗面调整会员并筹备 IPO
K3 上线后调用需求挤满 GPU，公司暂停新增及升级订阅，并拆分通用会员与 Coding 会员。报道指日销售额至少增长六倍、6 月 ARR 达 3 亿美元，最快半年内赴港上市。
---
4% — 去掉冗余 留下信号。
