Viewing profile — lemma1729
lemma1729
HN member- Joined
- Tue, Mar 31, 2026, 5:28 PM UTC
- HN karma
- 3
- Public activity
- 6 items
- HN profile
- View on Hacker News ↗
About lemma1729
contact me at raj [at] prooftree [dot] ai :)
Recent public activity
-
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…
-
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 …
-
comment
Comment #48991455
[flagged]
-
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…
-
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…
-
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…