> The second author, Elias Koutsoupias, dedicates this work to his constant friends Amos Fiat, Anna Karlin, and Christos Papadimitriou.

I wonder what Papadimitriou thinks about getting dedicated LLM generated proofs.

I wonder what Karlin thinks.