AI辅助证明Crouzeix猜想

神经外科住院医师 Shanmu Jin 借助 AI 证明了悬而未决 22 年的 Crouzeix 猜想：对于任意矩阵 A 和多项式 p，有 ‖p(A)₂≤2max|z∈W(A)||p(z)|，其中 W(A) 是 A 的数值域，常数 2 为最优值。 这一结果随后出现独立证明，提高了该证明的可信度。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。