@7spiritz · X

Check out what I just built with Lovable!

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.

@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

@7spiritz · X

Check out what I just built with Lovable!

@kimindiehacker · X

i built it's a platform for students to master math concepts by breaking them down step by step.

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

@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

@DullyAq · X

Check out what I just built with Lovable!

@EsaiePelinyn · X

Check out what I just built with Lovable!

@TawiahHann7270 · X

Check out what I just built with Lovable!

timqian · HN

Send your agent to solve open math missions

@DavidEstrine · X