GPT-6 Astra 协助重新证明表示有限代数的经典乘法基与标准性定理，研究者计划逐步人工理解

Haruhisa Enomoto 于 10 月 23 日公开表示有限有限维代数的结构论研究：基于 Auslander–Reiten quiver、mesh 关系、radical 分层与 filtered deformation，试图重新证明 Bautista–Gabriel–Roiter–Salmerón 的两个经典结果——代数存在乘法基，以及特征不为 2 时的标准性。作者声明最初由 GPT-6 Astra 生成证明，随后 Claude Opus 5.5 和 Gemini 4 Argon 多轮修订；自己尚未完全理解全文，计划花费数周至数月审阅。Hexagon 关联 PALOMAR-2026-10-23-000004 登记，但注册事实不等于所有外部文献依赖与非形式数学陈述均已由无关联专家确认。结论本身为经典已知定理，事件的新意在 AI 生成的另一条证明路线及形式化登记，不应被报道为 AI 首次发现乘法基定理。