TKAU 9 days ago

Very cool! There is a python library called manim that's used to create math animations, maybe could get ChatGPT to write code and integrate some animation videos into the presentations to help visualize some math ideas.

2
rahimnathwani 7 days ago

It's tricky to get ChatGPT (even with o1 pro) to generate good manim code:

https://x.com/RahimNathwani/status/1901771994397622357?t=LGO...

Secretmapper 7 days ago

There was a paper recently that tackled this:

https://tiger-ai-lab.github.io/TheoremExplainAgent/

champdebloom 7 days ago

Have you tried with Claude? I recall seeing a tweet with impressive results.

rahimnathwani 7 days ago

I tried this prompt on o1 pro, sonnet 3.7 extended, and o3-mini-high:

"Create code for a manim video that shows how to do the long division algorithm."

None of them gave satisfactory results. (They all provided code that 'worked' in the sense that it created a valid video file.)

slidehero 8 days ago

thank you for the tip, this looks like an awesome library! :)