← Mathlib
What podcasts say about Mathlib
Every statement, with the speaker, the exact quote and the moment it was said.
What experts have said about Mathlib
1 statement · 1 positive
AI could continuously extend the formalized mathematical library Mathlib.
“you could imagine having a basically endlessly running program that's constantly trying to extend MathLib.”
Open the episode · Grant Sanderson – AI and the future of mathListen at 58:25
Statements are attributed to the speaker as said on the episode and reflect their view at the time, not PodLume's. They are not advice.