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.