研究者发布 Lean 机器校验的哈密顿回路奇偶性结果

研究者发布 GitHub 仓库 eth-hamiltonicity，以 Lean 机器校验跟进 OpenAI 与 Anthropic 的 ETH 反驳声明。R1 结果在依赖两家实验室反驳成立的前提下，用确定性次指数时间判定哈密顿回路数量的奇偶性，并提供随机化判定和 有向图版本。