meta_pixel
Tapesearch Logo
Log in
Science Friday

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

Science Friday

Science Friday and WNYC Studios

Science, Life Sciences, Wnyc, Natural Sciences, Friday

4.46.3K Ratings

🗓️ 27 March 2026

⏱️ 19 minutes

🧾️ Download transcript

Summary

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

Transcript

Click on a timestamp to play from that location

0:00.0

Hey, I'm Floralixman, and you're listening to Science Friday.

0:07.0

When ChatGPT came out a few years ago, one of its most impressive features was its writing abilities.

0:13.5

But something it was often ridiculed for, you may remember, other than making images of seven-vinkered hands,

0:19.8

was its inability to do basic math.

0:23.4

Two plus two did not always equal four.

0:26.8

But recently, things have changed.

0:29.2

Last year, Google and OpenAI's models bagged gold medals at the International Mathematical

0:35.4

Olympiad, edging out some of the best high school

0:38.4

athletes in the world. And now some experts say AI is getting so good, it could pose an existential

0:45.7

threat to the field. Here with a perspective are two mathematicians who thought a lot about this,

0:51.4

Dr. Emily Real from Johns Hopkins University and Dr. Daniel Litt from the

0:55.3

University of Toronto. Emily Daniel, welcome to Science Friday. Hey. Thank you. All right. We have seen,

1:03.0

at least in the nerdy media that I consume these very big claims that AI suddenly is revolutionizing

1:10.4

math. It's fundamentally changing what it means to be

1:14.1

a mathematician. I want your takes on that. Emily, let's start with you. I think from the

1:21.6

perspective of a professional mathematician, we're trying to evaluate where AI is on kind of the

1:27.3

trajectory of a mathematician's life. So, you know, we're trying to evaluate where AI is on kind of the trajectory of a mathematician's life.

1:29.9

So, you know, we're first encountered a mathematics at school where you're solving problems that

1:36.2

have a numerical answer, maybe involving some geometric figures, maybe involving some arithmetic

1:40.4

or some algebra. As you mentioned already, AIIs used to be very bad at those problems,

1:45.1

and they're much better now. More recently, AIs have been doing well with more advanced contest-level

1:53.1

problems, a contest for undergraduate mathematics majors where they're writing proofs. And what's

...

Please login to see the full transcript.

Disclaimer: The podcast and artwork embedded on this page are from Science Friday and WNYC Studios, and are the property of its owner and not affiliated with or endorsed by Tapesearch.

Generated transcripts are the property of Science Friday and WNYC Studios and are distributed freely under the Fair Use doctrine. Transcripts generated by Tapesearch are not guaranteed to be accurate.

Copyright © Tapesearch 2026.