PreprintarXiv licencearXiv
A note on the proof of nonamenability of F
Abstract
The goal of this note is to provide a human written exposition of OpenAI's recent proof that Thompson's group F is nonamenable.
Related
- A note on the proof of Barnette's conjecture
- A note on a recent claimed proof of the irrationality of Catalan's constant
- A note on the asymmetric discretised ring theorem
- A note on the boundedness of the multidimensional Katugampola operator in Campanato spaces
- A note on maximal subgroups of countable groups
BibTeX
@misc{kim2026note,
title = {{A note on the proof of nonamenability of F}},
author = {Sang-hyun Kim and Yash Lodha},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.18360},
eprint = {2610.18360},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.18360},
}
RIS
TY - UNPB
TI - A note on the proof of nonamenability of F
AU - Sang-hyun Kim
AU - Yash Lodha
PY - 2026
DA - 2026/10/13
PB - arXiv
DO - 10.48550/arxiv.2610.18360
UR - https://arxiv.org/abs/2610.18360
AB - The goal of this note is to provide a human written exposition of OpenAI's recent proof that Thompson's group F is nonamenable.
ER -