Show HN: Maith – open math research with AI (github.com)

Maith is an innovative research workspace designed to harness AI in the exploration of open mathematical problems while maintaining the integrity of mathematical proof. By organizing major problems into detailed dossiers, Maith promotes a structured approach that combines AI, computer algebra, and human judgment. The platform emphasizes that while AI can generate ideas, it does not replace the need for proofs that are explicit, reproducible, and independently verifiable. Users can employ AI to explore definitions, generate examples, or identify counterexamples, but each step must be rigorously checked against established mathematical standards. The significance of Maith lies in its commitment to accelerating mathematical discovery through a systematic and transparent methodology. By detailing the workflow required for verifying AI-generated outputs, it aims to bridge the gap between computational exploration and formal proof. The platform creates an environment that fosters collaboration between humans and AI, ensuring that exploratory claims are substantiated with rigorous verification. With a focus on major mathematical problems across various fields such as number theory and geometry, Maith sets the stage for a more disciplined approach to mathematical research, encouraging a balance between innovation and adherence to proof standards.