AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Theorem Provers
Do you think math is fundamental to our universe and we're just like slowly trying to understand these patterns? Or is it discovered? Is it just a little game that we play amongst ourselves to try to fit little patterns to the world? That's the physicist question. But everything comes back to it. I mean, all the physics, the fact that the universe is, well, okay, it's a complicated question. How often do you think, how deeply does this result describe the fundamental reality of nature? So the reason I hesitated, because it's something I taught to seminar and did a little work on biological algorithms.