- TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding
- The Pythagorean Theorem and Its Geometric Proof
🤔 You might also want to ask:
How to prove the Pythagorean Theorem using geometric methods?
Manim is a Python animation engine created by 3Blue1Brown for generating mathematical animations.
Many famous examples require significant time to write scripts:
- How I animate 3Blue1Brown | A Manim demo with Ben Sparks The author demonstrates the creation process
- Pythagoras' Theorem | Maths made Beautiful
Existing practices:
- Manim Web: Mathematical Animation Engine, for the web A Dart port with very low completion, maintenance discontinued
- Generative Manim Has a fine-tuned model trained on Manim corpus, capable of generating Manim code and producing videos on the server side.
What I want to do:
- Use LLM with Chain-of-Thought (CoT) to explain mathematical problems step by step, generating animation scripts suitable for visual narratives
- Implement an infinite canvas rendering animation scripts based on WebGL / WebGPU, supporting the following features:
- Common 2D / 3D shapes. Frequently used geometric elements like Axis, Grid, etc.
- LaTeX Required for mathematical formulas
- Camera animation Required for visual storytelling
- Interactive editing (Natural Language Interface (NLI) + GUI). For example, modify shape styles using property panels, adjust animation parameters using timeline, etc.
- Export to other formats like Gif / Lottie / Rive / Video
Current implementation completion is relatively low:
- Claude 3.5 sonnet returns Schema containing graphics and animation descriptions
- Supports hand-drawn style rendering engine
- Animation engine based on Web Animations API
- Limited variety of supported animations