What was already known
The q=1 weighted-surface algebra was known to be period four. Earlier nonperiodic module families did not have this combination of periodic simples and twisted periodicity.
AI involvement
Haruhisa Enomoto directed the project and revised the final paper. He credits GPT-6 Astra with finding the counterexample and proof; Claude Opus 5 reviewed exposition.
The model found the construction and proof, with the author directing the research and final presentation; independent autonomous-session conditions are not documented.
Importance
The construction refutes a specific conjecture in the theory of finite-dimensional algebras.
Limitations
The algebraically closed field and infinite-order q assumptions matter. Enomoto explains the construction, but a completed independent proof check is not documented.
Technical verification
The article gives a detailed proof, but the author-responsibility and AI-exposition review statements do not document a completed check of the mathematical argument; no machine check is reported. Reported is the evidence default.
Human understanding
Enomoto set the final structure and much wording of a proof that explains the two key mechanisms, indicating human understanding of the retained contribution.
Correction and publication history
A model-found counterexample to a specialized periodicity conjecture.
Read this published revision