Top New Best Ask Show Jobs

lemma1729

3 karma · joined March 31, 2026

Graduate math student at Bonn. Co-founder of ProofTree.ai. Research experience in NT at Oxford.

contact me at raj [at] prooftree [dot] ai :)

submissions comments

Proof abundance and the new unit of mathematical work

prooftree.ai·1 pts·lemma1729·

Show HN: Context-aware AI social workspace to learn math

prooftree.ai·1 pts·lemma1729·

Show HN: AI math chat that knows your notes, connecting you to human experts

prooftree.ai·1 pts·lemma1729·

Show HN: Social and context-aware AI platform to do math

prooftree.ai·5 pts·lemma1729·