Crouzeix猜想

如何评价北京协和医院住院医用 AI 解决了困扰数学界的难题 Crouzeix 猜想？

北京协和医院神经外科博士后、住院医师金山木利用OpenAI的GPT-5.6-Sol模型，在约16小时内成功证明了困扰数学界22年的Crouzeix猜想。该成果已获猜想提出者Michel Crouzeix及多位顶尖数学家审阅并确认正确。金山木虽无正统数学科班背景，但通过在经颅超声研究中自学矩阵分析，借助AI的非常规路径实现了这一突破。