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