GPT-5.6 Pro 助力改进 Moser 蠕虫问题下界至 0.2374
zero0_one1 · reddit · 2026-09-04
一位 Reddit 用户报告用 ProofAtlas.ai 形式化验证工具配合 GPT-5.6 Pro,改进了 Moser 凸蠕虫问题的下界:单位长度平面曲线的凸通用覆盖面积必须大于 0.2374,超过 2013 年 Khandhawit 等人保持的旧下界 0.232239。
- 问题背景:Moser 蠕虫问题是 Leo Moser 1966 年问题清单上的第 9 题,问能容纳任意单位长度平面曲线的最小面积凸区域是多大,60 年来精确答案仍未解决
- 新结果:下界从 0.232239 提升到 0.2374
- 已知最优覆盖:2026 年 Wichiramala 与 Panraksa 的预印本给出的覆盖面积约 0.260956,上下界差距已缩小到 0.024 以内
- 证明已用 Lean 完成形式化,发布在 ProofAtlas.ai 网站上
这是「AI + 形式化验证」在真实开放数学问题上产出可验证新结果的又一案例。
「模型」频道最新
- 研究者用前沿模型 76 分钟挖出首个 Windows 0-day — moyix · 2026-10-21
- 开发者实测:Gemini Argon 分析调试日志优于 Fable 5.1 — ShikharMurty · 2026-10-21
- 用户让 ChatGPT「尖叫」，它陷入无限循环 AAAAHHH 停不下来 — AutomaticScene · 2026-10-21
- 开源新模型 Ornith-1.5-122B 发布:SWE-bench 84.5%,单卡 DGX 可跑 — _akhaliq · 2026-10-21
- qev-0.8B:3.5毫秒决策、1.3GB本地跑的微型模型登顶 — fajfas3 · 2026-10-21
- Gemini 3.1 Pro 玩「两真一假」：bot 太沉迷账本，秒被识破谎言 — mimi10v3 · 2026-10-21