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

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

18 minutes Posted Mar 27, 2026 at 10:00 am.

0:00

18:37

Share at current time

Show notes

A few years ago, ChatGPT couldn’t do simple arithmetic. Now, some experts say that AI could make mathematicians obsolete.