AGI Hunt· xennygrimmato_·· 2 小时前AI 评分60
研究者发布 eth-hamiltonicity 仓库，用 Lean 机器校验哈密顿回路结果
研究者跟进 OpenAI/Anthropic 的 ETH 反驳声明，发布 Lean 机器校验的哈密顿回路结果
AI 导读
研究者 xennygrimmato 发布 GitHub 仓库 eth-hamiltonicity，用 Lean 机器校验了哈密顿回路计数奇偶性的次指数时间判定结果。
来源：AGI Hunt · agihunt.info