AI攻克20年数学难题：GPT自主运行16小时证明Crouzeix猜想
Dr_Singularity · x · 2026-08-13
一名缺乏高等数学训练的神经外科住院医生，借助大模型成功解决了困扰数学界20多年的 Crouzeix 猜想（算子理论与矩阵分析领域的重要难题）。
据悉，决定性的定理证明是在一次约16小时的 GPT-5.6 Sol 自主运行中得出的。包括 Michel Crouzeix 在内的相关领域专家已对证明过程进行了检查，并认为其推导是正确的。
所属事件:协和神经外科医生借 ChatGPT 证明 Crouzeix 猜想(11 条相关)→
「漫话AGI」频道最新
- AI 圈热传"计算机语言天花板"古书图表，机器语言演化突破人类极限 — repligate · 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
- dlwh：我们优化了「可读的版本」，却忘了最初想加速什么 — dlwh · 2026-10-16