Algebra · Sep 9, 2026
A 3-generator 9-relator group with unsolvable word problem, and smaller Adian-Rabin families
arXiv: Small undecidable groups and unrecognizable 4-manifolds
Contributors
GPT-5.6 Sol Pro · GPT-5.6 Sol · Codex · Marc Kegel · Shana Yunsheng Li · Qiuyu Ren
AI systems: GPT-5.6 Sol Pro, GPT-5.6 Sol, Codex