神经外科住院医借 AI 辅助攻克悬置多年的 Crouzeix 猜想

神经外科住院医师 Shanmu Jin 于今年 7 月发布预印本，声称在 AI 辅助下证明了数值分析领域悬置多年的 Crouzeix 猜想。据 Mathfiles 介绍，相关验证工作中 ChatGPT-5.6 曾自主运行 16 小时。SIAM News 已刊登 Alex Townsend 与 Anne Greenbaum 撰写的报道讨论这一成果，引发数学界关注。

2026-11-08 ~ 2026-11-10 · 2 条相关