← AI-generated Mathlib expansion
What podcasts say about AI-generated Mathlib expansion
Every statement, with the speaker, the exact quote and the moment it was said.
What experts have said about AI-generated Mathlib expansion
1 statement · 1 positive
Continuous AI-driven expansion of Mathlib would likely yield mathematical insight.
“It would be very surprising if that didn't yield some sort of interesting mathematical insight from it.”
Open the episode · Grant Sanderson – AI and the future of mathListen at 59:35
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.