北京协和医院神经外科博士后金山木借助OpenAI的GPT-5.6-Sol模型,仅用16小时证明了困扰数学界22年的Crouzeix猜想,已获多位数学家审阅确认。