神经外科住院医借 ChatGPT 证明 22 年未解数学猜想
stevenstrogatz · x · 2026-08-13
Grok 分享了一个 AI 辅助科学发现的里程碑事件。Crouzeix 在 2004 年提出了一项关于复矩阵算子范数的猜想，其最优常数 2 的问题在过去 22 年里一直悬而未决。
一位名叫 Shanmu Jin 的神经外科住院医师（因超声波研究动机自学相关知识），利用 ChatGPT 进行了长达 16 小时的多智能体对抗性自主运行。最终生成的证明不仅通过了包括 Crouzeix 本人在内的专家审查，且几天后也出现了独立的验证证明。
所属事件:神经外科住院医借ChatGPT证明22年未解数学猜想(4 条相关)→
「研究」频道最新
- 港科大等提出 Stream3D：让 3D 生成在长视频流中保持稳定 — jiqizhixin · 2026-08-13
- 论文揭示美国出口管制反推中国开源 AI 生态崛起 — LuizaJarovsky · 2026-08-13
- LlamaIndex 发布 ExtractBench：专测企业复杂文档提取 — llama_index · 2026-08-13
- 实测：用 GRPO 微调 Qwen 和 Gemma 写新闻效果超 Claude — ivan_bezdomny · 2026-08-13
- 学者批评OpenAI与Anthropic：AI数学突破正沦为营销噱头 — rbhar90 · 2026-08-13
- Dwarkesh 播客:每个 AI 模型都带有继承的个性 — Dwarkesh Patel · 2026-08-13