Small brain: Here's the statement of the theorem, here's the proof.
Medium brain: You can find it in this other paper.
Big brain: The result is folklore, I heard about it from this guy.
Galaxy brain: If you cajole ChatGPT a bit you can get it to give you a proof.

Sign in to participate in the conversation

a Schelling point for those who seek one