Conjectures 平台矿工攻克悬置 40 余年的 Erdős 问题 579,Lean 验证通过
IgorCarron · x · 2026-10-07
数学众包平台 Conjectures.io 宣布,其 miner 找到了至少自 1983 年以来悬而未决的 Erdős 问题 579 的解。
该结果否证了原猜想:图可以在避免八面体图 K₂,₂,₂ 的同时保持稠密,且其最大独立集占全部顶点的比例趋于消失。完整证明已通过 Conjectures 平台用 Lean 形式化验证。
「研究」频道最新
- 数学家谈 LLM 使用规范:过渡期无共识,抢首发难获认可 — littmath · 2026-10-07
- IdeaLens：不只查 AI 文笔，还能分辨文章「想法」来自人还是 AI — MohitIyyer · 2026-10-07
- AAAI'27 将办 SC4AI 研讨会:用社会选择理论做 AI 对齐 — conitzer · 2026-10-07
- 权重移植新发现：mid-training 可在 RL 后再叠加，对齐照样生效 — repligate · 2026-10-07
- WonderSearch 1.1 发布：查询期智能检索，称 7 项稀疏检索基准全第一 — Scobleizer · 2026-10-07
- NIH 先锋奖近 600 万美元：LLM 生成癌症假设，机器人肿瘤类器官验证 — anshulkundaje · 2026-10-07