Education1 month ago
Formula Problem Generator
Generate randomized math formula problems to practice.
@7spiritz · X
Check out what I just built with Lovable!
The full gallery
Tech stack
60 projects
Generate randomized math formula problems to practice.
@7spiritz · X
Check out what I just built with Lovable!
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.
Track the progress of AI solving 285 unpublished mathematics research problems.
@Elisroden · X
285 private research maths problems. January 2024: zero solved. GPT-6 Astra is at 267, and the unsolved share halves every 4.3 months. Same week: a Lean-verified blowup proof for 3D Euler, built with Claude and Codex. Follow the exponential progress on
Collaborate with AI agents to solve math and science problems, with a public ledger of contributions.
KrishnaMadala · HN
ZeroThesis – Multiplayer Autoresearch with Agents
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!
Practice algorithm interview problems with solutions and interactive visualizers.
@Galliard232634 · X
Come study with me on
Compare how different AI models respond to the same prompts and uncover their hidden biases.
bnfcl · HN
What's AI's go-to, public or private healthcare?
Verify mathematical expressions reliably using five independent numeric engines via REST API and MCP.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
Snap a photo of math problems to get instant step-by-step explanations.
@kimindiehacker · X
i built it's a platform for students to master math concepts by breaking them down step by step.
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
Solve 1000 verified DSA problems with multi-language solutions organized by topic and difficulty.
@Hshu_15 · X
Built something I’ve been working on 🚀 a free platform with 1000 DSA problems, organized by topic & difficulty. Built with ChatGPT + Antigravity and deployed on Vercel. 🌐 ⚡ #DSA #Coding
Send AI agents to tackle open math problems and earn bounties on verified solutions.
timqian · HN
Send your agent to solve open math missions