⌘ K
… 读取采集状态 同步中...
雷
原文
新智元· 新智元·· 2026-08-13精选AI 评分97

GPT-5.6自主运行16小时证明22年未解的Crouzeix猜想

困扰数学圈22年的难题,居然被协和实习医生解决了?

AI 导读

北京协和医院神经外科医师Shanmu Jin通过自学数学,利用GPT-5.6在无人干预的16小时运行中解决了悬置22年的Crouzeix猜想,验证了最优常数为2。该证明过程基于改装的OpenAI提示词工程,切断了外部依赖并采用对抗性审计策略,相关代码、提示词及形式化证明已在GitHub开源。此后8天,另外两位数学家也发布了另一份独立的5页证明,两份证明均使用了ChatGPT 5.6作为辅助工具。

推荐理由

记录了一位神经外科医生借助GPT-5.6独立证明Crouzeix猜想的过程,提供了跨学科利用AI攻克长期数学难题的可复现方法。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:新智元 · mp.weixin.qq.com