Hacker News Reader

I don't think this article is very good

These from the mathlib founder are much more informative!

Kevin Buzzard did great work to popularize mathlib among mathematicians (that's how I got involved myself), but he didn't found mathlib!

Oh thanks, I didn't realize. Though, reading that paper, I should have known! Obvious in hind-site that at least some math was going on beforehand.

These are about current (and future) mathematical capabilities of LLMs, but not about how mathematicians can employ LLMs in their work.

That is because Kevin Buzzard does not think they are yet useful at all!