热点事件持续更新
研究者发布Lean校验哈密顿回路判定仓库
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月28日，研究者 xennygrimmato 发布 GitHub 仓库 eth-hamiltonicity，称用 Lean 机器校验了“哈密顿回路计数奇偶性可在次指数时间内判定”的结果。报道仅交代仓库发布和校验工具，未给出证明细节、校验通过的具体定理或同行评议信息。就现有报道看，进展是相关结果以 Lean 形式公开，尚无法从报道判断其与此前 ETH 反驳工作的完整对应关系。
AI 根据报道生成 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- AGI Hunt研究者发布 eth-hamiltonicity 仓库，用 Lean 机器校验哈密顿回路结果
研究者 xennygrimmato 发布 GitHub 仓库 eth-hamiltonicity，用 Lean 机器校验了哈密顿回路计数奇偶性的次指数时间判定结果。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。