中国医生用 GPT-5.6 破解 22 年数学难题，Crouzeix 本人确认正确

IT之家 8 月 14 日消息，2025 年，一连串的协和 4+4 博士引发关注和热议，其中就包括金山木事件。时隔一年之后，金山木这个名字再次引发热议。 据《南华早报》今日报道，北京协和医院神经外科博士后、住院医师金山木利用 OpenAI 的 GPT-5.6-Sol 模型，只用了约 16 小时就成功证明了自 2004 年以来困扰数学界长达 22 年的 Crouzeix 猜想。 美国康奈尔大学数学家 Alex Townsend 与华盛顿大学数学系教授 Anne Greenbaum 公开发表文章，披露了他们与这位中国医生的邮件往来，使得这一突破性成果为公众所知。 Townsend 和 Greenbaum 表示，他们两人以及猜想提出者、法国数学家 Michel Crouzeix 本人均已审阅了论文手稿，并确认证明正确无误。 金山木的学术背景与数学相去甚远。百度百科显示，其本科为北京大学地质学专业，2016 年通过自主招生加分（高考成绩 622 分，北大录取线 660 分）进入地质学类。2019 年参与南阿尔卑斯山地质考察后，于 2020 年通过协和医学院“4+4 试点班”转入临床医学，2024 年成为神经外科博士后。 据称，他之所以闯入数学领域，源于其在经颅超声研究中的实际需求 —— 试图用超声波穿透复杂的人体颅骨结构时，他在这一过程中接触到了矩阵分析，并在自学过程中偶然了解到 Crouzeix 猜想。 金山木在接受采访时表示，他所接受的正式数学教育仅限于理工科本科生的基础课程，其余数学知识均为自学。 Crouzeix 猜想由法国数学家 Michel Crouzeix 于 2004