协和医生用 ChatGPT 证明 22 年数学悬案
新智元 · wechat · 2026-08-13
北京协和医院神经外科住院医师金山木，借助 ChatGPT 成功证明了困扰应用数学界 22 年的「Crouzeix 猜想」。
- 跨界破局：金医生无专业数学背景，因医学超声研究跨界自学矩阵分析。他利用改编版的「神级提示词」，切断外部网络，要求模型启动多分支探索与对抗性审计。
- AI 自主运行：在设定好指令后，GPT 连续自主狂奔约 16 小时，经历数万次试错，最终通过巧妙的「采样策略」化简为极简条件完成证明。
- 学界震动：猜想提出者 Michel Crouzeix 本人与相关领域专家均亲自验证通过。仅 8 天后，另两位数学家也使用 ChatGPT 给出了一份仅 5 页的独立证明。
金医生已将论文、提示词及 Lean4 形式化代码全部开源。这标志着 AI 正在重塑科学发现的边界，加速打破学科壁垒。
所属事件:协和神经外科医生借 ChatGPT 证明 Crouzeix 猜想(11 条相关)→
「漫话AGI」频道最新
- AI 圈热传"计算机语言天花板"古书图表，机器语言演化突破人类极限 — repligate · 2026-10-16
- 影视剧假道具悄悄变严谨：随手问 AI 就能生成正确的美政府表单格式 — mike64_t · 2026-10-16
- AI 圈激辩:近六年读 PhD 竟成「判断力差」的信号? — repligate · 2026-10-16
- 「关系型偏好」对齐路线引争论：顺从人类也可能是对齐解而非威胁 — teortaxesTex · 2026-10-16
- Sabine 怒怼物理学家：弦理论已成灌水机器，Chollet 称智能缺感知就会幻觉 — skdh · 2026-10-16
- 研究者晒 GPT 辅助斩获多篇论文,含推翻 60 年猜想 — ctjlewis · 2026-10-16