Exponential View 第 605 期:Math 2.0 之争与下一代算力框架
Exponential View (Azeem Azhar) · rss · 2026-10-11
Azeem Azhar 的周日 Newsletter,涵盖三条主线:
Math 2.0
- OpenAI 发布数百份数学手稿与证明仓库后引发争议:「人类数学协会」呼吁数学家停止与 OpenAI 合作,但 Azhar 认为覆水难收、回不到旧范式
- Terence Tao 提出「Math 2.0」:不再以抢先解决公开问题为核心,更重视阐述、社区建设与开辟新方向
- Fields 奖得主 Hugo Duminil-Copin 称其学生「陷入全面恐慌」,同样呼吁社区协作消化这些结果
- 核心忧虑:如果不坚持让 AI 给出解释而非仅有证明,我们将「有更多答案、更少理解」
下一代算力(与 WEF 合发白皮书)
- 算力主权需实测:拥有数据中心仍可能在维护/授权上依赖外国供应商,建议做危机情景下的供应链压力测试
- 量子计算仍依赖传统基础设施,将推高总电力需求;应先找电力/数据/技能瓶颈再追加算力投入
其他要闻:巴基斯坦高油价或提前实现 2030 年电动车销量 30% 目标,但屋顶光伏让无面板家庭电费更贵;AI 年化收入达 2760 亿美元;AI 在 5.4 万女性回顾研究中提前数年捕捉到癌症风险信号;退役电池中位剩余容量 84.5% 等。
「漫话AGI」频道最新
- 马斯克长访谈:星舰 4-6 周后尝试回收、收购 Cursor 逻辑与 SI 安全观 — XFreeze · 2026-10-11
- AI 正在催生「自动化认知科学」:从实验设计到理论建模全流程加速 — burny_tech · 2026-10-11
- AI 已能解题,下一步该优化的是「构建数学理论」 — burny_tech · 2026-10-11
- Beff Jezos 谈后劳动经济:解法始终是资本主义与企业家思维 — beffjezos · 2026-10-11
- AI 让数学研究快了,数学家为何反而不高兴? — burny_tech · 2026-10-11
- 陶哲轩观点引争议:连泰诺药理都没搞懂,多数药物其实「未对齐」 — AntonObukhov1 · 2026-10-11