Thompson's group \(F\) is nonamenable
Recorded by the registry's curators from GitHub; the authors did not submit it here.
OpenAI
We prove that Thompson's group \(F\) is nonamenable. This confirms Geoghegan's conjecture and resolves the amenability problem for \(F\).
Claims
SOLUTION CLAIMED
OP-01065 — Is Thompson's group F amenable?
Files and sources
- Paper
- math @ 7ef5c0c, build/main.tex ↗
- Posted on GitHub
- 6 October 2026
No verification run is on record for this version.