Linkage

The 3D Heesch Hemiobelisk: a nonzero-Dehn-invariant hexahedron with a complete corona (\(\mathbb{M}\)). The Immerman–Szelepcsényi theorem formalized in Lean as part of the LAX Lean archive (\(\mathbb{M}\)), a form of literate programming for Lean proofs that includes definitions for computational complexity theory. This year’s STOC call for papers has made significant changes, in the face of an onslaught of AI-generated submissions (\(\mathbb{M}\), via). Submissions must list authors, all of whom must be human, no author can be on more than five submissions, all submissions must be posted in identical form to arXiv prior to submission, AI use is allowed but must be disclosed, AI reviewing is also allowed subject to author consent, and (perhaps the biggest change) authors must also prepare and submit a 20-30 minute explanatory video. Recognizing penny graphs is \(\exists\mathbb{R}\)-complete (\(\mathbb{M}\)), new preprint by Anna Lubiw and Marcus Schaefer. These are the graphs of…