This is super nice. Seeing interactive graphics like this along with tutorial videos and the new Prism LaTeX editor from OpenAI make this an exciting time for math education. At the same time, AI advances on open problems in research and with LLM technology like with Axiom are making it an exciting time for math research as well.