paper

A note on the proof of nonamenability of F

arXiv:2610.18360

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.