Claude 自主 Agent 声称证明非分裂 Weil 型六维阿贝尔簇的 Weil 类代数性，公开 GAP 与精确算术验证程序

Antti Hippeläinen 于 10 月 20 日在 Hexagon 发布 Hodge 理论方向的 AI-generated 研究主张：对于 K=Q(√−3)、Hermitian signature (3,3)、判别式 −2 模范数的非分裂 Weil 型复阿贝尔六维簇，所有 Weil 类均为代数的。构造利用带 G₃₂ 反射群作用的 13 分支点曲线覆盖、Jacobian 成分、角色诱导关系和退化方法，并提供 GAP/Python 精确计算程序与球算术证书。作者披露证明、代码、文本由 Claude agents 生成，仅经过其他同类模型互审；有人类提交者核查参考资料，但没有人类数学专家审查、也未提供整体 Lean 核验证据。属于重大但尚待验证的 Hodge 相关研究主张，非已被认可解决的 Hodge 猜想。