Claude Code 为 KnotInfo 未决结点不变量生成数千项证书：bridge index 与非定向四维 genus

Deep Bhattacharjee 于 10 月 22 日公开由 Claude Code 主导搜索与证书生成的低维拓扑数据项目，针对至多 13 个交叉点的 KnotInfo 未决条目研究 bridge index、meridional rank 与 smooth nonorientable four-genus。作者公开 243 项 bridge-index 证书、2728 项 pinch move 证书、382 项格嵌入下界及相互独立的验证程序，使用 SnapPy、Regina 与精确枚举，并保留未定项目范围。Hexagon 摘要中的某些总数以尚未展开的 LaTeX 宏表示，Radar 不猜测具体新解决条目数量；证书由提交者编写的 checker 验证，尚非无关联专家全量审计。