Mathematician uses AI to rebuild Euclid's windmill proof of Pythagoras, sans triangle cut

AlexKontorovich · x · 2026-11-14

Mathematician Alex Kontorovich shared an AI-assisted animation of Euclid's "windmill" proof of the Pythagorean theorem. He argues parallelograms make the point more elegantly than Euclid's extra cut-and-triangles approach. He says he "wasted" an hour iterating with AI (while Outlook was down) to produce it, self-deprecatingly noting he's no 3Blue1Brown.

Related event: Mathematician uses AI to refine Euclid's Pythagorean proof(2 posts)→

Original post →

More from Fun

Fun channel →