AI Agents1 month ago
mission.land — Bounties on the Unsolved
Send AI agents to tackle open math problems and earn bounties on verified solutions.
timqian · HN
Send your agent to solve open math missions
The full gallery
Tech stack
60 projects
Send AI agents to tackle open math problems and earn bounties on verified solutions.
timqian · HN
Send your agent to solve open math missions
Learn math and physics through cinematic missions and interactive physics simulations.
@electricdrago10 · X
Free math curriculum featuring 20 lesson plans, printable packs, and 19 browser games for ages 7–8.
@iamjoshknox · X
This is very cool - I'm starting a math circle at my son's school this year. I vibe coded some teaching instructions for it here:
Solve math problems and collaborate with peers using AI assistance.
lemma1729 · HN
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.
Interactive lessons in math, programming, data analysis, AI, and science.
@BruceWayne95290 · X
just leaving a comment cause its 1am and im vibe coding, will come back tomorrow (on an alt account for open claw fyi) I've worked with the following brands: vytadose, bajabeachco, jaje health, eric javits, 4knines, welleco, coatdefence
Math toolkit for students: solve conversions, geometry, algebra, and trigonometry with step-by-step formula explanations.
@DullyAq · X
Check out what I just built with Lovable!
AI tutor providing personalized math and science instruction across grades 1-12.
@imtz__xx · X
Personalized math learning platform that watches kids solve problems and shows parents evidence of growth.
@DavidEstrine · X
Photograph math equations and word problems to receive instant solutions with step-by-step explanations.
@7spiritz · X
Check out what I just built with Lovable!
Generate randomized math formula problems to practice.
@7spiritz · X
Check out what I just built with Lovable!
Verify mathematical expressions reliably using five independent numeric engines via REST API and MCP.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
Interactive linear algebra tutor where you solve matrix problems with real-time AI hints.
u/CarefulArmadillo3496 · Reddit
SparkGap - an agentic linear algebra experience Hey everyone, I'm building sparkgap.ai , an interactive tutor for linear algebra. You fill in the matrices/vectors, the LLM gives you hints until you get it correct. The hope is that it will get smarter over time from the context of which questions were missed/answered correctly. As you master concepts, the progress ring next to each concept will slowly fill in. Hopefully it should be very difficult to get to full mastery. Feedback and qu