热点事件持续更新
Conjectures 平台解出 Erdős 问题 579
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
数学众包平台 Conjectures.io 宣布，其平台上的 miner 找到了 Erdős 问题 579 的解，该结果否证了原猜想。据平台说明，这一问题至少自 1983 年以来一直悬置，此前被概括为悬置 40 余年的问题被攻克。新结果给出一类图：它们能够在避免八面体图 K₂,₂,₂ 的同时保持稠密，且其最大独立集占全部顶点的比例趋于消失。完整结果已在该平台通过 Lean 形式化验证。
AI 根据报道生成 · 2 小时前更新
最新进展10月7日 00:56
平台宣布其 miner 解出 Erdős 问题 579，否证原猜想，结果已通过 Lean 验证。报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- AGI HuntConjectures 平台 miner 解出悬置 40 余年的 Erdős 问题 579，结果经 Lean 验证
数学众包平台 Conjectures.io 宣布，其 miner 找到了至少自 1983 年以来悬而未决的 Erdős 问题 579 的解，该结果否证了原猜想。结果显示图可以在避免八面体图 K₂,₂,₂ 的同时保持稠密，且其最大独立集占全部顶点的比例趋于消失。完整结果已在该平台通过 Lean 形式化验证。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。