OpenAI声称证伪ETH，影响有限
热点事件持续更新
OpenAI声称证伪ETH，影响有限
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
OpenAI系统声称已证伪ETH（欧拉图猜想），原始声明称结果已通过Lean形式化验证；复杂度研究者bzogrammer解读称，该命题比P≠NP更强，但新算法仍接近指数级，不会显著改变SAT求解等实践的既有结论。
AI 根据报道生成 · 2 小时前更新
最新进展10月27日 09:32
复杂度研究者解读 OpenAI 系统 ETH 证伪及其有限影响报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- AGI Hunt复杂度研究者解读 OpenAI 系统 ETH 证伪及其有限影响
复杂度研究者 bzogrammer 解读 OpenAI 系统声称证伪 ETH，称该命题比 P≠NP 更强，但理论界的略紧不会显著改变既有实践结论。文中指出，新算法仍接近指数级，而 SAT 求解器长期以来在实践中表现良好；原始声明称该结果已通过 Lean 形式化验证。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。