AWESOME AI PROOFS
← Problems
Research / Oct 1, 2026

Amenable actions of free groups on unital simple AF-algebras

Do non-amenable free groups admit amenable actions on classifiable unital simple AF C*-algebras?

Model / AI: GPT-6 Astra

self-reported
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.