{"id":"arxiv/2605.04352","url":"https://arxiv.org/abs/2605.04352","tags":["cs.LG","math.GR"],"score":0,"title":"Probing Structural Mathematical Reasoning in Language Models with Algebraic Trapdoors","domain":"cs.LG","source":"arxiv","authors":["Igor Rivin"],"reviews":0,"subject":"cs.LG","summary":"We introduce a benchmark suite for evaluating structural mathematical reasoning in language models, built on subgroup-construction problems in SL(3, Z) with cryptographic-style verifier-prover asymmetry. Each instance presents a finitely generated subgroup as a list of integer matrices and asks for an arithmetic invariant -- index, surjection-at-prime, or membership -- that the construction-time information (N, K) pins down in O(1) closed form, but that the solver, lacking that information, must derive by either Aschbacher-classification analysis or by a membership query in SL(3, Z) of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-05","reactions":{}}