Starcast
Join the waitlist
Move over, vibe-coding. Vibe-proving is here for math
Coming soon to iPhone. Already have it? “Listen in Starcast” takes you straight there.
On this episode
About this episode
A few years ago, ChatGPT couldn’t do simple arithmetic. Now, some experts say that AI could make mathematicians obsolete.