Alternatives
Products that do what Maith – open math research with AI does
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).
- 1
Solve math problems instantly with step-by-step solutions
2024
- 2
- 3
- 4MO
2017 · mathcha.io
- 5
- 6
- 7
- 8SA
Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.
Jul 2026 · prooftree.ai
- 9
Free AI Math Solver: Solve, Learn, and Practice Math Easily.
12d ago · ai.tenorshare.com
- 10DR
The first ever AI peer reviewed research article just got approved. It’s kinda crazy how advanced AI have come to replace researchers. I've just been using Deep Research on ChatGPT and Perplexity a lot to write and research complex technical reports for my boss. He loves the reports and it has decreased my workload a ton but I still have some frustrations with it. None of them provide an API that gets me the same quality of output you would with the applications. I wanted something with more control on the LLMs, swappable with the reasoning new models that came out. Not just prompt →…
2025 · github.com
- 11DO
Hi HN! I am an undergrad student trying to build interesting things with AI. Recently, I was looking for a dataset I could use for a new project. I realized that it is really frustrating to go through all the government websites (with terrible UX) just to find some usable dataset. I set out to build a GitHub for datasets, named DataHub. Right now, we have more than 1000 datasets from Montréal and New York City, with more cities coming soon (and possible government agencies). All of this is wrapped into a powerful search. It's a breeze to find a dataset to work on. I'd be interested to know…
2017
- 12FC
Hi there, I've created this side project to make it easier to find interesting repositories using AI. There's still a lot of work to be done to improve it, so any suggestions for enhancements would be greatly appreciated. Thank you!
2024 · awesome-repositories.com
- 13IB
I haven't seen anything like this so I decided to build it in a weekend. How it works: You see a bunch of things pulled from Wikipedia displayed on cards. You ask yes or no questions to figure out which card is the secret article. The AI model has access to the image and wiki text and it's own knowledge to answer your question. Happy to have my credits burned for the day but I'll probably have to make this paid at some point so enjoy. I found it's not easy to get cheap+fast+good responses but the tech is getting there. Most of the prompts are running through Groq infra or hitting a cache…
Apr 2026 · sleuththetruth.com
- 14
- 15IB
I use AI while reading the Bible and I suspect others do too. It's helpful whether you're struggling with the Elizabethan English, or want added context/want to know what theologians say about a passage. So I thought, why not make the AI come to you? TIA for any feedback!
2025 · scripturia.com
- 16MW
Hey HN check this really cool worlde-inspired project of a friend of mine. :)
2022 · mathle.bykiru.rocks
- 17IB
Hi HN, I'm the creator of this project. For the past months, I've been working on building an AI agent that could move beyond simple generation and tackle inventive challenges autonomously. The core idea was to create a system with a "metacognitive loop"—the ability to recognize when it's stuck on a fundamental problem and then launch a sub-mission to solve that specific bottleneck before continuing. The linked article is a deeper introduction to the system's architecture and a snapshot from a recent run. I tried to design it to be evidence-grounded and self-critical to avoid the pitfalls of…
2025 · robw1se.substack.com
- 18
- 19SA
Hi everyone, I’m a student with a strong interest in computer science and complexity theory. Recently, I worked on a manuscript attempting to prove that P ≠ NP. I know how this sounds — it’s one of the hardest and most debated problems in CS, and many have tried and failed. I don’t claim to have the final answer, but I believe the approach I used might at least offer some fresh perspective or provoke useful critique. The idea involves geometric separation between deterministic and nondeterministic computation, using high-dimensional lattice constructions and some physics-inspired intuition.…
2025 · zenodo.org
- 20AA
Finding the balance between humans and machines has been the thread through my career. I always had a thing for AI and couldn't wait for it to actually deliver on what was promised. Now it does, and it's more important than ever that humans and machines keep working well together. AI makes creation trivial. Text, code, design, strategy, in seconds. But one thing AI does not create: independently verifiable proof of when something existed. Reproducing is now cheaper and easier than creating. Chronology becomes contestable at the moment it matters most. The universal problem was known. I…
Mar 2026 · umarise.com
- 21IM
I’m 15 and self-taught. I'm learning ML from scratch because I want to really understand how things work. I’m not into frameworks. I prefer math, logic, and C++. I implemented a basic MLP that supports different activation and loss functions. It was trained via mini-batch gradient descent. I wrote it from scratch, using no external libraries except Eigen (for linear algebra). I learned how a Neural Network learns (all the math) -- how the forward pass works, and how learning via backpropagation works. How to convert all that math into code. I’ll write a blog soon explaining how MLPs work in…
2025 · github.com
- 22NW
Like in the movies when they show a current newspaper, but easier and safer. I use as seed the last mined ethereum block, and I show it in a fancy way.
2023 · timeevidence.com
- 23OS
We’ve just released an open-source library for solving the Maximum Independent Set (MIS) problem with neutral atom quantum computing, running on both quantum processing units (QPUs) and classical hardware, thanks to emulators. This project is the result of collaboration between Pasqal, academic researchers, and industry partners, aiming to make it practical to experiment with quantum approaches to hard combinatorial optimization tasks. The MIS problem appears in real-world scenarios like scheduling, resource allocation, and network optimization, areas where classical solvers often struggle…
2025
- 24AF
I've been hooked on Queens puzzles (https://www.linkedin.com/games/queens/) for the last few months, and decided to try and build a solver for them. Rather than doing a traditional solution search, I tried to model it instead on how humans solve these puzzles, iteratively eliminating and confirming possible squares for Queens. And since this was a side-project, I decided to go overboard, and try and make it as fast as possible (avoiding HashMap/HashSet in favor of bit fields, for example).
2025 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →