lemma1729
Re:Claude Fable produced a counterexample to the Jacobian Conjecture
on Tuesday July 21, 2026 @09:56AM (#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 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.
Re:Claude Fable produced a counterexample to the Jacobian Conjecture
on Tuesday July 21, 2026 @08:35AM (#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 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
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
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, 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...
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 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,...