What was already known
Earlier nonrealizable integral PD groups were not finitely presented; rational-duality examples did not settle the integral finite-classifying-space case.
AI involvement
OpenAI is credited as author and attributes the manuscript family to an internal model. The construction also uses human-developed reflection-group and surgery theory; item-specific human prompting is not described.
OpenAI institutional authorship and repository provenance document central model-produced mathematical work.
Importance
One four-dimensional example would refute Wall’s universal manifold-realization question for finitely presented integral PD groups.
Limitations
The construction depends on a separate marked-tensor obstruction manuscript. No matching formalization or completed human check of that essential input is documented. It does not give examples in every dimension.
Technical verification
The original TeX states and proves the result but no matching formalization or completed human check was found. Its companion marked tensor obstruction is an essential unverified input.
Human understanding
The paper explains its own architecture, but no human-authored explanation of the marked obstruction and stable transfer is documented; Few is the evidence default.
Correction and publication history
One four-dimensional example would refute Wall’s universal manifold-realization question for finitely presented integral PD groups.
Read this published revision