GitHub Repository

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

2 starsPython

Maith – open math research with AI

Name: Maith – open math research with AI
Availability: InStock
Author: hemangkandwal

by hemangkandwal·Jul 21, 2026·5 points·0 comments

Visit Project View on HN

AI Analysis

●●SolidBig BrainNiche Gem

Enforcing proof verification standards on AI output is a genuinely novel research angle.

Strengths

•Explicit workflow separates AI-generated ideas from human-verified mathematical proof.
•Dependency maps and counterexample searches structure exploration beyond prompt chaining.
•Integration with formal proof assistants like Lean and Coq ensures rigorous validation.

Weaknesses

•Requires deep mathematical expertise to validate outputs, limiting broad adoption.
•Early stage with few problem dossiers and no active community contributions yet.

Post Description

If AI got lucky or not, AI is surely going to assist in solving serious math problems. If you want to spend your resources/weekends contributing, this repository is full of math problems where you can add your thoughts (or proofs - for you Good Will Hunting type people) for others to build on it and we all together can try to change the world of math.

I have already extended the research with manual proof of Jacobian Conjecture that was posted on Twitter (with attribution).