AI 辅助证明：Erdős–Simonovits 猜想在所有级别失败
ctjlewis · x · 2026-08-02
GitHub 项目 EvolvingPrograms/erdos-simonovits-degeneracy 使用 Lean 4 完整形式化了 Erdős–Simonovits 退化猜想在所有级别（r ≥ 2）失败的结果，并给出了 Gibbs 权重 e 下的尖锐渐近律。该项目由 Claude Fable 5 和 Claude Opus 5 于 2026-08-01 完成，包含多个 Lean 文件。
所属事件:Claude结合Lean 4成功证伪Erdős数学猜想(4 条相关)→
「研究」频道最新
- 高斯混合模型与指数族密度逼近转换 — FrnkNlsn · 2026-08-24
- Netflix 揭秘 LLM Judge 生产实践：每周评估数十万条推荐解释 — omarsar0 · 2026-08-24
- Nature 评论：数据溯源是自主科学的信任基石 — gabepgomes · 2026-08-24
- 新架构 RHEA：8GB 显存即可训练 10 亿参数模型 — zemondza · 2026-08-24
- 跳过 LLM 写代码老套路：自训 16M 参数模型做生成式 CAD — debreuil · 2026-08-24
- Claude 助手发现 6 维球复结构，解 60 年数学难题 — Singularitarian · 2026-08-24