Am I the only one feeling *optimistic* about AI in math?
Lately there have been some big announcements about AIs cracking serious theorems, and along with them, a lot of anxiety from mathematicians and researchers about what their future in the field looks like.
Am I the only one... feeling optimistic about this?
For as long as I've been around math, I've heard it described as a vast landscape- cathedrals and mountain ranges, hidden valleys, strange country stretching out in every direction. For centuries we've been exploring it on foot, in the dark, with nothing but a candle to light the next few steps.
What happens when we get a floodlight?
I think about all the structure that's been sitting just past the edge of what one human mind, or even a generation of them, could reach. Connections we never noticed. Theorems no one had the lifetime to chase down. Whole regions of the landscape we walked right past because the candle didn't carry far enough.
For anyone who loves knowledge for its own sake, who got into this because they wanted to see more of the thing. I think we're standing at the edge of something spectacular. Not the end of the adventure.