Show HN: Maith – open math research with AI
Maith is a research workspace for using AI to explore open mathematics—without confusing plausible text, numerical evidence, or symbolic output with proof. - clidey/maith
Summary not yet generated for this article.
Original Text
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).
Comments (0 of ) ⌛