4 ms·
I don't think this article is very good https://xenaproject.wordpress.com/2024/12/22/can-ai-do-maths-yet-thoughts-from-a-mathematician/ https://xenaproject.wor
by Ericson2314 2y ago
I don't think this article is very good
https://xenaproject.wordpress.com/2024/12/22/can-ai-do-maths-yet-thoughts-from-a-mathematician/ https://xenaproject.wordpress.com/2024/12/22/can-ai-do-maths...
https://xenaproject.wordpress.com/2025/01/20/think-of-a-number/ https://xenaproject.wordpress.com/2025/01/20/think-of-a-numb...
These from the mathlib founder are much more informative!
- kmill 2y agoKevin Buzzard did great work to popularize mathlib among mathematicians (that's how I got involved myself), but he didn't found mathlib! There's a blurb about the history here: https://leanprover-community.github.io/papers/mathlib-paper.pdf https://leanprover-community.github.io/papers/mathlib-paper....
- Ericson2314 2y agoOh 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.
- layer8 2y agoThese are about current (and future) mathematical capabilities of LLMs, but not about how mathematicians can employ LLMs in their work.
- Ericson2314 2y agoThat is because Kevin Buzzard does not think they are yet useful at all!