Live data from Hacker News

Viewing profile — lemma1729

lemma1729

HN member
Joined
Tue, Mar 31, 2026, 5:28 PM UTC
HN karma
3
Public activity
6 items

About lemma1729

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

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

Recent public activity

  1. comment
    Comment #48992420

    I think in short term, it will get better, as more funding flows from industry to academia, you will see a spur in well-compensated PhD positions. However, in the long run, while I…

  2. comment
    Comment #48991530

    I am a number theorist and a graduate math student at Bonn. It is eery to see that all of a sudden everyone cares about pure math. Anyhow, I think such incidents like this one are …

  3. comment
    Comment #48991455

    [flagged]

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

    Hi! I am Raj, a graduate math student at Bonn, and I was at YC Summer School in Bangalore recently, and heard from many people that HN is an awesome place to let people demo your p…

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

    We built a platform where you can ask all your "stupid" math questions, and you can upload all your lecture notes, and the way you do math. It then learns your style and content, r…

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

    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 mat…