What was already known
Parabolic intersection closure was known for right-angled, spherical, large-type and some other Artin groups; the unrestricted finite-rank conjecture remained open.
AI involvement
OpenAI attributes the manuscript to its internal model’s research work. The release does not document the result’s individual interaction history or a named human explanation.
The model-produced manuscript supplies the asserted unrestricted intersection proof; autonomy beyond the release-level account is undocumented.
Importance
Would settle parabolic intersection closure for all finite-rank Artin groups.
Limitations
The manuscript supplies a proof argument, but the released comparator statement ends in a sorry and does not verify the theorem. No completed human or machine check of the unrestricted result is documented. The separate word-problem corollary is outside this assessment.
Technical verification
The manuscript supplies an argument, but the released comparator statement ends in sorry and is not a proof. No completed human or machine check of the unrestricted theorem is documented, so Reported is the evidence default.
Human understanding
No human account of the central relative-category and stabilizer mechanism is documented; Few is the evidence default.
Correction and publication history
Would settle parabolic intersection closure for all finite-rank Artin groups.
Read this published revision