如何评价北京协和医院住院医用 AI 解决了困扰数学界的难题 Crouzeix 猜想?
北京协和医院神经外科博士后、住院医师金山木利用OpenAI的GPT-5.6-Sol模型,在约16小时内成功证明了困扰数学界22年的Crouzeix猜想。该成果已获猜想提出者Michel Crouzeix及多位顶尖数学家审阅并确认正确。金山木虽无正统数学科班背景,但通过在经颅超声研究中自学矩阵分析,借助AI的非常规路径实现了这一突破。
热搜汇
共 2 条相关内容
北京协和医院神经外科博士后、住院医师金山木利用OpenAI的GPT-5.6-Sol模型,在约16小时内成功证明了困扰数学界22年的Crouzeix猜想。该成果已获猜想提出者Michel Crouzeix及多位顶尖数学家审阅并确认正确。金山木虽无正统数学科班背景,但通过在经颅超声研究中自学矩阵分析,借助AI的非常规路径实现了这一突破。
OpenAI于2026年6月30日正式向全部开发者开放GPT-5.6系列模型,包括Sol、Terra和Luna三档版本,同步登陆ChatGPT、API及Azure OpenAI。该系列模型在长文本处理、智能体任务拆解及代码能力方面有所提升。此外,亚马逊AWS于7月24日宣布将该系列模型上线Amazon Bedrock平台。