An AI-powered assistant for mathematics.
An AI agent to explore and understand my PhD thesis.
Ask questions on math topics and get simplified explanations
