Tool mentioned on podcasts
Mathlib
Mentioned on 3 episodes by 1 guest across our covered podcasts.
SignalCast may earn commission on purchases via these links.
Who mentioned it
“An AI tasked with extending a Mathlib fork could run indefinitely, generating conjectures and proofs without any human check-in, analogous to AlphaZero playing Go unsupervised.”
Mentioned on: Dwarkesh Podcast