AI · alternatives · 2026
24 alternatives to Social and context-aware AI platform to do math
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.
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
- 2IM
Hi, I'm a high school teacher from Australia and I've built what I'd like to think is a pretty nifty ChatGPT powered presentation tool for teachers. I'd love it if you could have a look at it and give me some of your feedback. I don't think there's much overlap with the HN crowd and school teachers, but I've been coming here for many years and thought I'd post here and see what you all think. Check it out if you have a minute and I'd be super happy to hear your feedback too. https://www.slidehero.ai/ You can jump in and have a play with the tool all you like ;) Cheers, Eli
2025 · its alternatives →
- 3
Solve math problems instantly with step-by-step solutions
2024 · mymathsolver.ai · its alternatives →
- 4IW
Good math problems are hidden inside textbooks and online documents. To keep up with all the sources in the world is hard. For someone who just wants to continuously solve problems, finding and going through all the sources feels like a hassle. I wished for a website that could just dump all the math problems available in the world out there. And if I could filter the problems by topics, that would be beautiful. teachyourselfmath is a side project that was born out of this need. At its core, it is a math PDF extraction engine. The engine has some machine learning going on behind the scenes…
2024 · teachyourselfmath.app · its alternatives →
- 5
Mathly▲68Solve math and science problems with AI, learn better
2023 · mathly.webflow.io · its alternatives →
- 6
- 7
Hey HN, I don’t know who else has the same issue, but: Textbooks often bury good ideas in dense notation, skip the intuition, assume you already know half the material, and get outdated in fast-moving fields like AI. Over the past 7 years of my AI/ML experience, I filled notebooks with intuition-first, real-world context, no hand-waving explanations of maths, computing and AI concepts. In 2024, a few friends used these notes to prep for interviews at DeepMind, OpenAI, Nvidia etc. They all got in and currently perform well in their roles. So I'm sharing. This is an open & unconventional…
Feb 2026 · github.com · its alternatives →
- 8
Making math make sense with an AI that visualizes every step
2025 · mathleaks.com · its alternatives →
- 9
Calcular▲81Mental maths done right, with speech-to-text and AI
2020 · apps.apple.com · its alternatives →
- 10
Hey HN, I’m a dev and a dad to a 10-year-old. I built this because I caught my daughter using ChatGPT to do her history homework. She wasn't learning; she was just acting as a "middleware" between the AI and the paper. The Backstory: I realized the problem isn't the AI—it's the zero-friction answers. Most "AI for kids" apps are just "parrots"—they mimic intelligence by repeating patterns. What’s Different: Qurio is a "Bicycle" for the mind. It treats the child like a future "Architect" rather than a "Junior Executor." Technically, it wraps an LLM in a strict "Socratic Loop." It detects…
Feb 2026 · thinkqurio.com · its alternatives →
- 11IA
Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians. We are launching the language as an open source project today (https://i2lang.org) together with a closed alpha for i2forge. However, we have a publicly accessible demo page which anyone can use, and we would love your feedback. Thanks.
2023 · i2forge.com · its alternatives →
- 12
- 13
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).
Jul 2026 · github.com · its alternatives →
- 14
- 15
AI for Math▲34Solving math problems in your browser
2025 · chromewebstore.google.com · its alternatives →
- 16
- 17
- 18
Your smart math companion that solves equations instantly.
2025 · mathaicalculator.com · its alternatives →
- 19
- 20SA
Hey HN, I’m a physicist turned quant. Some friends and I 'built' SymDerive because we wanted a symbolic math library that was "Agent-Native" by design, but still a practical tool for humans. It boils down to two main goals: 1. Agent Reliability: I’ve found that AI agents write much more reliable code when they stick to stateless, functional pipelines (Lisp-style). It keeps them from hallucinating state changes or getting lost in long procedural scripts. I wanted a library that enforces that "Input -> Transform -> Output" flow by default. 2. Easing the transition to Python: For many…
Feb 2026 · its alternatives →
- 21EA
Hi guys, I am a researcher and entrepreneur from London. Innovation has been slow here, I regularly browse and read ycom news and thought I'd share my UK ed-tech startup that's sprung out of my AI-driven pedagogy research project here at Goldsmiths, UoL. Not sure what it's like over in the states or other countries, but we see here lots of educators using ChatGPT for creating assignments and marking; while simultaneously complaining about students using ChatGPT to write their work. It's really bad at the university level here at the moment, feels like we have a loop of ChatGPT producing…
2024 · its alternatives →
- 22
- 23
- 24
Smart AI Math Solver – Free & Online, Step-by-Step Solutions
2025 · aimathsolver.io · its alternatives →
Also compare
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →