Jaime Hoerricks, PhD

speaker

642 appearances 5 recordings 2 series first heard Dec 2024 last heard 20 Dec

Jaime Hoerricks, PhD’s voice in public audio — every appearance, attributed to the second.

Trend

recordings per month · last 12 months

Recordings per month over the last 12 months — 1 in all, peaking in Dec 2025 with 1.

Appearances

newest first · ▶ plays the moment

Theories of Everything with Curt Jaimungal · Yang-Hui He: Why AI Will Permanently Transform How Math Is Done · 3 Jan 2025 podcast

Well, Yanghui, he sees a parallel between how birds navigate together in a murmuration and how AI can guide mathematicians towards new insights by sifting through tons of math data. voice-verified

Yeah, and they've actually used this murmuration idea to look into a famous problem in number theory, the Birch and Swinnerton Dyer conjecture. voice-verified

Imagine a donut shape, but in the world of numbers, these are called elliptic curves. voice-verified

Mathematicians are obsessed with finding rational points on these curves, points where the coordinates can be written as fractions. voice-verified

Birch and Swinerton Dyer conjecture basically says there's this deep connection between how many of these rational points there are. voice-verified

And a specific math function, like linking the geometry of these curves to number theory. voice-verified

And it's a big deal in math. voice-verified

It's actually one of the Clay Mathematics Institute's millennium price problems. voice-verified

Solve it, you win a million bucks. voice-verified

They trained an AI on this massive data set of elliptic curves and their functions. voice-verified

The AI didn't actually solve the whole conjecture, but it found this new pattern, this correlation that mathematicians hadn't noticed before. voice-verified

Exactly. voice-verified

This discovery, while not a complete proof. voice-verified

gives more support to the conjecture and opens up some exciting new areas for research. voice-verified

It shows how AI can help with even the hardest problems in mathematics. voice-verified

That's a great question. voice-verified

And it's something we'll dig into in the final part of this deep dive. voice-verified

We'll look at the philosophical and ethical stuff around AI in math. voice-verified

We'll ask if AI is really understanding the math it's working with, or if it's just manipulating symbols in a really fancy way. voice-verified

See you there. voice-verified

Showing 281–300 of 642 · page 15 of 33