Oct 1, 2026
Existence of amenable actions via Baire category
Model / AI: GPT-6 Astra
self-reported
Yuhei Suzuki resolves the eight-year-old open existence problem for amenable actions of non-amenable groups on classifiable simple C*-algebras by proving that free groups act amenably on unital simple AF-algebras. Suzuki reports substantial assistance from GPT-6 Astra in discovering dynamical constructions and verifying topological density properties.
Source read 2026-10-08. Read the arXiv v1 abstract, main theorems, and AI-acknowledgement statement. The Baire category arguments were not checked.