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
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:
Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
Pick your math level and topic, then solve generated quizzes with instant answers.
@EsaiePelinyn · X
Check out what I just built with Lovable!
One hidden picture a day, same for everyone. Draw as little as you can before you name it, lower is better.
@lukkais · X
Generate randomized math formula problems to practice.
@7spiritz · X
Check out what I just built with Lovable!
Type a math problem and get step-by-step walkthroughs with explanations.
u/peterparkermarker · Reddit
MathIQ I built mathiq.io with Claude Code because I wanted a way for students struggling with college level maths to see how the problems can be broken down and not as intimidating. Each walkthrough goes from beginning to end and each step has a "why and how?" feature. Anon users get 1 free daily walkthrough powered by Haiku 4.5. Signed in users get 3 free daily walkthroughts powered by Haiku 4.5. Plus users get 5 Opus 4.6 walkthroughs plus 20 Sonnet 4.6. Pro users get 8 Opus/30
Play MathJump, a free online math runner game. Solve arithmetic, time each jump, and practise addition, subtraction, multiplication, and division.
barantt01 · V2EX
做了一个速算的小游戏，有空可以耍一耍 网页游戏 体验地址： https://mathjump.cc 游戏界面 
Find hidden German words in a grid-based puzzle game with integrated learning tools.
@AbasovEdgar · X
Play and Learn German Language smarter than anyone else
Learn math through interactive quizzes across 9 topics with an AI tutor and liquid-glass interface.
@AsedaKingVpryi · 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:
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.