神经外科住院医借助 AI 证明 Crouzeix 猜想

神经外科住院医师 Shanmu Jin 借助 AI 辅助证明了悬而未决 22 年的 Crouzeix 猜想，并给出关于任意矩阵 A 与多项式 p 的范数不等式，且常数 2 为最优。随后出现的独立证明提高了该结果的可信度。