GPT-5.6-Sol

据《南华早报》今日报道，北京协和医院神经外科博士后、住院医师金山木利用OpenAI的GPT-5.6-Sol模型，只用了约16小时就成功证明了自2004年以来困扰数学界长达22年的Crouzeix猜想。

他没有进行传统的纸笔推导，而是借助GPT-5.6-Sol模型在ChatGPTWork平台上完成了证明。