神经外科住院医借 ChatGPT 证明 22 年未解数学猜想
stevenstrogatz · x · 2026-08-13
Grok 分享了一个 AI 辅助科学发现的里程碑事件。Crouzeix 在 2004 年提出了一项关于复矩阵算子范数的猜想，其最优常数 2 的问题在过去 22 年里一直悬而未决。
一位名叫 Shanmu Jin 的神经外科住院医师（因超声波研究动机自学相关知识），利用 ChatGPT 进行了长达 16 小时的多智能体对抗性自主运行。最终生成的证明不仅通过了包括 Crouzeix 本人在内的专家审查，且几天后也出现了独立的验证证明。
所属事件:协和神经外科医生借 ChatGPT 证明 Crouzeix 猜想(11 条相关)→
「研究」频道最新
- MIT 生物系联合计算学院招聘计算生物学助理教授，欢迎生成式 AI 方向 — anshulkundaje · 2026-10-16
- 开发者在 Colab 持续预训练 Luganda 语小模型，8 小时跑到 41% — weskambale · 2026-10-16
- Sakana AI 推出 Agentic Scientist:用编码智能体自动化科学发现 — hardmaru · 2026-10-16
- MAI-Base-2 训练报告采用把 1/(weight_decay·lr) 视作时间尺度的缩放规则 — SeunghyunSEO7 · 2026-10-16
- 仅 108M 参数的文生图去噪模型 Surjo-Image-Preview 开源 — Consistent-Rule-3720 · 2026-10-16
- 19 个单位方块最优装箱问题有了 Lean 形式化证明 — ctjlewis · 2026-10-16