{"id":"openai-math/An-Artin-group-with-no-geometric-CAT-0-action","pdf":"https://github.com/openai/math/blob/main/preprints/An-Artin-group-with-no-geometric-CAT-0-action-September-23-2026/paper.pdf","url":"https://github.com/openai/math/tree/main/preprints/An-Artin-group-with-no-geometric-CAT-0-action-September-23-2026","tags":["geometric-group-theory","cat0-geometry"],"score":0,"title":"An Artin group with no geometric CAT(0) action","domain":"Group theory","family":"254","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.GR","summary":"We construct an Artin group on 116 generators that admits no proper, cocompact isometric action on a nonempty proper CAT(0) space. This refutes the CAT(0) conjecture for Artin groups.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":1,"published":"2026-09-23","reactions":{},"discussion":[{"url":"https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/#:~:text=116%20generators%2C%20but%20after%20feeding%20it%20to%20Astra","date":"2026-10-08","kind":"web","site":"Proofs and Prompts","text":"116 generators, but after feeding it to Astra, in 10 minutes I got a new example with 12 generators. Clearly, they were in a rush to post the big drop, prioritizing quantity over quality…Why? This does not solve the misalignment between labs and academics at all; indeed, the question remains: are…","added":"2026-10-24","title":"100+ reactions to 100+ solutions"}],"formalized":true,"family_title":"Classifying spaces and geometric obstructions for Artin groups"}