Lean校验ETH反驳结果仓库发布
热点事件持续更新
Lean校验ETH反驳结果仓库发布
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
研究者 xennygrimmato 发布 GitHub 仓库 eth-hamiltonicity，以 Lean 机器校验跟进 OpenAI 和 Anthropic 对 ETH（指数时间假设）的反驳。其 R1 结果在两家实验室的反驳成立的前提下，用确定性次指数时间算法判定哈密顿回路数量的奇偶性，并提供随机化算法及有向图版本。 该结果目前仅适用于边数为 O(n) 的稀疏图，且属于渐近性结论。仓库中的证明是在重建两家实验室各自的 Lean 证明后完成并经机器校验；两家的反驳结果仍在专家评审中，因此这一跟进结论以两项反驳获认可为前提。
AI 根据报道生成 · 3 小时前更新
最新进展10月28日 08:47
研究者发布 Lean 机器校验的哈密顿回路奇偶性结果报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- AGI Hunt研究者发布 Lean 机器校验的哈密顿回路奇偶性结果
研究者发布 GitHub 仓库 eth-hamiltonicity，以 Lean 机器校验跟进 OpenAI 与 Anthropic 的 ETH 反驳声明。R1 结果在依赖两家实验室反驳成立的前提下，用确定性次指数时间判定哈密顿回路数量的奇偶性，并提供随机化判定和 有向图版本。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月28日 09:00
- 近 24 小时变化
- –
02.557.510
09:0010:0011:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。