OpenAI解决50年数学猜想引热议
ErnestRyu · x · 2026-07-12
- 事件背景：OpenAI 近期成功解决了一个有着 50 年历史的图论难题——Cycle Double Cover 推测。
- 技术细节：据学者分析，该证明从 Jaeger 的 nowhere-zero 8-flow 定理出发，采用了一种非常巧妙的方法为每条边分配两个值，并最终通过线性代数完成推导。
- 资源链接：目前完整的证明文本以及用于生成该证明的 Prompt 已被公开分享。
所属事件:GPT-5.6 Sol Ultra破解50年数学猜想(4 条相关)→
「研究」频道最新
- MissionReport 基准：540 份政府任务报告仅 3 份全达标 — Exp_Mark · 2026-10-27
- Finch 1 发布：用 50+ 种传感器影像训练的通用地理空间基础模型 — Scobleizer · 2026-10-27
- Skyfall AI 推出工程世界模型 SKY-001:文本转 CAD 构建,3.9 秒 vs GPT-6 的 199 秒 — rohanpaul_ai · 2026-10-27
- 物理学家让 AI 自选课题：两小时产出可登顶刊的论文 — burny_tech · 2026-10-27
- 研究者谈评测集透明度:组合性评测仍存数据污染隐患 — najoungkim · 2026-10-27
- 可解释性研究该分清形式与估计器：均值差转向不如直接梯度下降 — johnhewtt · 2026-10-27