AI 助力神经外科住院医证明 22 年悬而未决的 Crouzeix 猜想
IgorCarron · x · 2026-11-08
数学账号 Mathfiles 介绍：一个 2026 年提出的矩阵分析 22 年老问题已被解决。神经外科住院医师 Shanmu Jin 借助 AI 辅助证明了 Crouzeix 猜想，即对任意矩阵 A 与多项式 p,有 ‖p(A)‖₂ ≤ 2 max{z∈W(A)} |p(z)|,其中 W(A) 为 A 的数值域，且常数 2 是最优的。随后出现了独立证明，结果可信度较高。
「漫话AGI」频道最新
- 瑞典日报邀 50 位专家绘制三大 AI 灾难场景 — anderssandberg · 2026-11-08
- AI 需求与成本同呈指数变化，评论称无需 FOMO — oran_ge · 2026-11-08
- 教授质疑读博价值：答辩当天 AI 花 1.5 欧元即给出更优答案 — FlorianGallwitz · 2026-11-08
- 评论称 AI 加速主因或是数据端提升而非研究者能力增强 — gleech · 2026-11-08
- Kordem France：嗅觉机器人或催生持续学习新算法 — AnnaCiaunica · 2026-11-08
- 路透调查：Meta 曾计划裁员 60% 用 AI 补位，后紧急叫停 — esrtweet · 2026-11-08