协和神经外科医生借 ChatGPT 证明 Crouzeix 猜想

北京协和医院神经外科住院医师金山木在没有任何高等数学背景的情况下，借助 ChatGPT 成功证明了数值线性代数领域的重大开放性问题——Crouzeix 猜想，成果已得到猜想提出者本人的认可，决定性证明由 GPT-5.6 Sol 自主运行约 16 小时得出。这一跨界突破展示了通用大语言模型辅助非专业人士攻克前沿理论问题的潜力，引发学术界与科技界的广泛关注。

已确认

• 要点 Crouzeix 猜想：该难题由 Crouzeix 于 2004 年提出，核心是关于复矩阵算子范数最优常数 2 的问题，属算子理论与矩阵分析领域的重要课题，过去 22 年一直悬而未决。
• 要点 证明者背景：金山木的本职是北京协和医院神经外科住院医师（一说协和医学院神经外科博士生），本科为北大地质专业，无专业数学训练。他因经颅超声研究需要跨界自学矩阵分析，并由此切入该问题。
• 要点 AI 辅助细节：据媒体报道，金医生在推导过程中使用了改编版的「神级提示词」，并切断了 ChatGPT 的外部搜索功能；决定性的定理证明是在一次约 16 小时的 GPT-5.6 Sol 自主运行中得出的。
• 要点 学界反响：知名数学家 Steven Strogatz 分享了这一案例；微软研究员 Sébastien Bubeck 对此表示非常震惊，称自己 2012 年曾花一整周时间试图攻克该难题却未果。

尚未确认

• 要点 网友围绕解题所用提示词（prompt）的具体细节展开讨论，但目前尚无关于该提示词的进一步官方披露。

为什么重要

• 要点 该事件打破了解决前沿数学问题必须依赖专业数学学者的传统认知，表明像 ChatGPT 这样的大语言模型能够作为有效的科研辅助工具，帮助非专业领域的跨界人才攻克长期悬而未决的学术难题；多位转发者预计 AI 辅助科研的类似案例将不断涌现。

2026-08-12 ~ 2026-08-14 · 11 条相关

• 【源头】神经外科住院医借 ChatGPT 破解重大数学难题 — stevenstrogatz · 2026-08-12
• 神经外科住院医借 ChatGPT 证明 22 年未解数学猜想 — stevenstrogatz · 2026-08-13
• 【源头】协和医生用 ChatGPT 证明 22 年数学悬案 — 新智元 · 2026-08-13
• 【源头】AI攻克20年数学难题：GPT自主运行16小时证明Crouzeix猜想 — Dr_Singularity · 2026-08-13
• 神经外科住院医借 ChatGPT 破解数值代数难题 — burny_tech · 2026-08-14
• 神经外科医生借 GPT-5.6 证明困扰线性代数 20 年的数学猜想 — New_Equinox · 2026-08-14
• 神经外科博士生借 ChatGPT 攻克矩阵分析未解难题 — dotey · 2026-08-14

另有 4 条近重复转述:stevenstrogatz · stevenstrogatz · asusarla · DeryaTR_