The Pythagorean Theorem and Its Geometric Proof
🤔 You might also want to ask:
How to prove the Pythagorean Theorem using geometric methods?
Manim 是 3Blue1Brown 的 python 动画引擎，用于生成数学动画。
很多著名的例子，需要花费大量时间编写脚本：
- How I animate 3Blue1Brown | A Manim demo with Ben Sparks 作者本人演示制作过程
- Pythagoras' Theorem | Maths made Beautiful
已有的实践：
- Manim Web: Mathematical Animation Engine, for the web 使用 Dart 移植，但完成度非常低，已停止维护
- Generative Manim 有 fine-tuned 的模型，喂了一些 Manim 语料，能生成 Manim 代码，在服务端执行后生成视频。
我想做的：
- 利用 LLM 分步骤（Chain-of-Thought (CoT)）解释数学问题，生成便于可视化叙事的动画脚本
- 使用基于 WebGL / WebGPU 实现的无限画布渲染动画脚本，支持以下特性：
- 可交互编辑（自然语言界面（NLI）+ GUI）。例如使用属性面板修改图形样式，使用时间轴修改动画参数等
- 导出 Gif / Lottie / Rive / Video 等其他格式
目前的实现完成度比较低：
- Claude 3.5 sonnet 返回 Schema 包含图形与动画描述
- 支持手绘风格的渲染引擎
- 基于 Web Animations API 的动画引擎
- 动画支持种类还比较少