maith

Maith is a research workspace for using AI to explore open mathematics—without confusing plausible text, numerical evidence, or symbolic…