Hacker News: lemma1729

Proof abundance and the new unit of mathematical work

lemma1729 — Sat, 05 Sep 2026 10:26:43 +0000

Article URL: https://www.prooftree.ai/notes/proof-abundance

Comments URL: https://news.ycombinator.com/item?id=49575105

Points: 1

# Comments: 0

New comment by lemma1729 in "Claude Fable produced a counterexample to the Jacobian Conjecture"

lemma1729 — Tue, 21 Jul 2026 13:56:06 +0000

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 doubt that mathematicians will go extinct, they might have to move on to industries like in trading, chip-making, where they oversee AI models write code and also proof that the code works and is consistent with other parts of the software. However, until we have infrastructure for human-AI math research, as Tao himself said that the "roads" for human-AI research is yet to be built, humans would simply be working FOR AI models, and not working WITH AI, which will truly scale discoveries at a massive scale.

New comment by lemma1729 in "Claude Fable produced a counterexample to the Jacobian Conjecture"

lemma1729 — Tue, 21 Jul 2026 12:35:01 +0000

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 only to happen more often in the coming days, and while many mathematicians are concerned about their role in the community; I believe since we are still very early stages of AI-driven discovery, we still need the appropriate infrastructure for human-AI research, such as with versioning for proofs, a bigger library than mathlib and a central reasoning space so traces aren't lost- which happens to be the most valuable training data for models, and without which, these discoveries do not help much at advancing the field, and remain as blackbox.

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

lemma1729 — Thu, 09 Jul 2026 23:11:08 +0000

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 product.

Please write to me any (ANY!!) feedback you have!! :p

Comments URL: https://news.ycombinator.com/item?id=48853632

Points: 1

# Comments: 0

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

lemma1729 — Wed, 08 Jul 2026 16:11:13 +0000

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, replies to your questions, and eventually connects you to the fora (like StackExchange) of human mathematicians, with whom you can discuss the same, at their level.

Personal email sign ups have a limited demo, and logging in with one of 80 schools will allow you full access, including able to post to the fora yourself.

I would greatly appreciate any (and literally ANY) feedback you have!! :P

Comments URL: https://news.ycombinator.com/item?id=48833760

Points: 1

# Comments: 0

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

lemma1729 — Sun, 05 Jul 2026 20:06:00 +0000

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.

Comments URL: https://news.ycombinator.com/item?id=48797508

Points: 5

# Comments: 1