A 3D walkthrough of the new proof about pi

I asked Claude Fable 5.5 to explain OpenAI's new 23-page proof about π. It came back with a narrated 2-minute 3D animation that walks through the proof itself. The claim: the irrationality exponent of π is EXACTLY 2. Since 1953 the best proven bound had only crawled from 42 down to about 7.