Mathematicians collaborate increasingly but use generic tools not suited for symbolic reasoning and proof development.
Create a platform with LaTeX integration, versioned proof development, and problem-solving workflows specific to math research.
Universities might subscribe department-wide. Grants could fund development.
Start with basic LaTeX collaboration and problem tracking. Risk is adoption by tradition-bound field.
The biggest risk is slow academic adoption cycles.