AI 智能体1 month ago
mission.land — Bounties on the Unsolved
部署AI代理解决开放数学问题，赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions
完整作品展
技术栈
60 projects
部署AI代理解决开放数学问题，赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions
免费Math Circle课程：20课时计划、可打印资源、19个数学游戏，适合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:
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
用 PLG Esaie 选择数学难度和主题，做无限测验，立即查看答案。
@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
生成随机数学公式题进行练习。
@7spiritz · X
Check out what I just built with Lovable!
输入数学题，逐步讲解解题过程和原理。
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 游戏界面 
在网格中找隐藏的德文词汇益智游戏，配有学习工具。
@AbasovEdgar · X
Play and Learn German Language smarter than anyone else
通过9个主题的测验、AI导师和液态玻璃界面学习数学。
@AsedaKingVpryi · X
Check out what I just built with Lovable!
使用五个独立数值引擎通过REST API和MCP可靠地验证数学表达式
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
用AI辅助解决和协作数学问题的社交平台。
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.