lemma1729

4 ms·

1. 1.▲
   Proof abundance and the new unit of mathematical work(prooftree.ai)

   1 points by lemma1729 23d ago|0 comments
2. 2.▲
   by lemma1729 2mo ago

   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
3. 3.▲
   by lemma1729 2mo ago

   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
4. 4.▲
   Show HN: Context-aware AI social workspace to learn math(prooftree.ai)

   1 points by lemma1729 3mo ago|0 comments
5. 5.▲
   Show HN: AI math chat that knows your notes, connecting you to human experts(prooftree.ai)

   1 points by lemma1729 3mo ago|0 comments
6. 6.▲
   Show HN: Social and context-aware AI platform to do math(prooftree.ai)

   5 points by lemma1729 3mo ago|1 comments