Canonical event

Shanghai AI Laboratory publishes Ghys conjecture human-AI research account

Lab Oct15 claims preprint and separate formal checking for 3D Ghys case; do not treat publisher claim as independent proof adjudication.