I wonder if we will ever be at a stage where LLM can generate videos like that as an ELI5

https://github.com/360macky/generative-manim :

> Generative Manim is a prototype of a web app that uses GPT-4 to generate videos with Manim. The idea behind this project is taking advantage of the power of GPT-4 in programming, the understanding of human language and the animation capabilities of Manim to generate a tool that could be used by anyone to create videos. Regardless of their programming or video editing skills.

"TheoremQA: A Theorem-driven [STEM] Question Answering dataset" (2023) https://github.com/wenhuchen/TheoremQA#leaderboard

How do you score memory retention and video watching comprehension? The classic educators' optimization challenge

"Khan Academy’s 7-Step Approach to Prompt Engineering for Khanmigo" https://blog.khanacademy.org/khan-academys-7-step-approach-t...

"Teaching with AI" https://openai.com/blog/teaching-with-ai

Photomath: https://en.wikipedia.org/wiki/Photomath

"Pix2tex: Using a ViT to convert images of equations into LaTeX code" > latex2sympy: https://news.ycombinator.com/item?id=38138020

SymPy Beta is aWASM fork of SymPy Gamma: https://github.com/eagleoflqj/sympy_beta

SymPy Gamma: https://github.com/sympy/sympy_gamma

TIL i^4x == e^2iπx

  import unittest
  import sympy as sy

  test = unittest.TestCase()
    
  x = sy.symbols("x")
  # with test.assertRaises(AssertionError):
  test.assertEqual(sy.I**(4*x), sy.E**(2*sy.I*sy.pi*x))

https://www.wolframalpha.com/input/?i=I%5E%284x%29+%3D%3D+e%...