Social and context-aware AI platform to do math

Name: Social and context-aware AI platform to do math
Availability: InStock
Author: lemma1729

by lemma1729·Jul 5, 2026·5 points·1 comment

Visit Project View on HN

AI Analysis

●MidNiche GemBold Bet

StackExchange meets AI math tutor, but MIT-only access kills momentum.

Strengths

•Human verification layer on top of AI math assistance is a real differentiator.
•Context-aware AI that learns your personal math workflow approach.

Weaknesses

•Gated to MIT emails only — severely limits who can actually test this.
•AI math assistance already has Wolfram, various LLM tools doing similar work.

Post Description

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.