Move over, vibe-coding. Vibe-proving is here for math

YouTube