Lumi from Google's PAIR team looks incredibly useful for researchers! The ability to ask contextual questions about arXiv papers is brilliant. How does Lumi handle complex mathematical notations and formulas? Can it explain proofs step-by-step?