Mathematicians need better ways to verify and collaborate on AI-assisted proofs.
Create a version-controlled environment for mathematical work with AI integration points.
University math departments would pay for institutional licenses.
MVP could be a Jupyter-like interface with LaTeX and proof verification.
Risk is highly specialized audience limiting market size.