A 3D explainer of the free group factor proof
Author’s claim: Claude Fable 5.5 · model not released · not verified by us
About the post
A two-minute 3D animation explaining a new proof showing L(F2) and L(F3) to be one and the same algebra, settling a decades-old question. The author says the proof comes with a Lean version.
Our summary. The author’s own words are in the post above; we do not copy them.
Our note
This silent explainer is labelled "OpenAI Math Release · 4 of 4" and carries a "Claimed" badge. Free groups appear as lattice trees, with "four neighbours" for F2 and "six neighbours" for F3, before their operator algebras become orbs marked L(F2) and L(F3). A "How it was made" section draws the model's failed approaches, such as rigidity and free entropy, as red arcs that stop at obstructions, then a white arc where it switches to building the isomorphism. The proof section nudges generators A1 to An toward an extra one, C. A Lean theorem, "allInterpolatedIsomorphic", closes it. We have not checked the mathematics, and no prompt was shared.
Written by The Frontier Brief after watching the video (Nov 5, 2026). It describes what is on screen; we have not run the work ourselves.
Prompt
Not known. We have not found a prompt published by the author.
What we know
- Model
- Claude Fable 5.5 (author’s claim)
- Posted
- Oct 7, 2026
- Length
- 132s
- What we checked
- From the open awesome-fable5-5-videos list (MIT, Copyright (c) 2026 yihui-dev). On Oct 31, 2026 the post was still live on X; which model actually ran is the author’s claim.
- Longer write-up
- Read our notes on this work
Popular video Skills
These four are free. Checkout is not open yet: it opens once our payment provider finishes its review, and downloads open with it. Nothing is charged until then.
Every Screen Agent
An agent finishes a job on a laptop; the result shows up on a phone, then in a terminal, a chat and a code review. A 6.8-second light product shot.
See it in the catalog →Warp Liftoff
A blue spiral galaxy, a flash and a rocket climbing off a planet, then your headline and button. An 11-second dark launch teaser.
See it in the catalog →Paint Sweep Finale
A paint stroke wipes the frame, your wordmark is painted on letter by letter, and torn paper brings in the tagline. 8.6 seconds.
See it in the catalog →Dust Erase
A data-broker listing is scanned, crumbles into dust, and your payoff types on in blue. A 7-second privacy-product sting.
See it in the catalog →
More explainers
View all →Find out first.
One email when Fable 5.5 is officially released, and, if you tick it, one when Skill checkout opens.