Alternatives
Products that do what Social and context-aware AI platform to do math does
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.
- 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
- 3
Solve math problems instantly with step-by-step solutions
2024
- 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
- 5
- 6
- 7MC
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
- 8
- 9
Learn math and science with interactive visual explanations
Mar 2026 · openai.com
- 10IB
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
- 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
- 12MO
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
- 13
- 14SA
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
- 15EA
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
- 16
- 17AV
I feel like LLMs can help me understand anything. However, after I get a summary, I can't dive in to parts that I find interesting; can't refer to original source easily and can't control context with chatbots. This is an attempt to solve for a complete knowledge consumption experience with AI . Please give me feedback!
Oct 2025 · kerns.ai
- 18AS
I made an AI version of thread/twitter, where you are the only human user and everyone else is an AI friend. It’s called Melonn(melonn.xyz), a human-free AI social space. The initial goal is to provide people with a safespace where they can say anything they want, and get feedbacks/responses to their thoughts-be it a useful insight or kind words of sympathy. If you ever feel lonely, lost, bored or sad just come here and express how you feel without having to care about what others would think. We are actively looking for feedbacks/opinions to improve the service! Thank you.
2024 · melonn.xyz
- 19AD
Hi HN, Last month, I have worked with my team here at Amy.app to make a stand-alone SAT Tutor. I'm pretty excited about this product, as it's our first attempt to make a stand-alone product targeted directly at students. So far all our products were targeted at teachers/schools/publishers. But we never found product-market fit ¯\_(ツ)_/¯ Our SAT-Math tutor is designed to find your knowledge gaps and gets you up-to-speed as fast as possible. We believe it offers a fresh approach on how online learning usually works. Please let me know what you think. The product has a 3 days…
2023 · sat.amy.app
- 20
- 21
Fast AI math solver with chat and Community Trust
May 2026 · x-mathai.com
- 22
- 23
- 24
Hey HN! My friend and I have been working for the last 3 months on HOPE, a platform that provides students with 1 on 1 math support to improve their confidence and teach them by doing and asking questions. We would really appreciate anyone who's down to try it out with their kids and give their thoughts.
Aug 2026 · usehope.app
Ranked by how close each launch is in meaning, then by votes. Refine with a description →