Ironic, as I remember staying late at the Google office to watch that match live. I didn't really understand anything going on but I knew enough to be excited. What a decade.
I'm sympathetic to the mathematicians who are worried about the future of their field, but as an outsider I wonder if they couldn't learn from the go community's "recovery" after the introduction of an alien intelligence.
Look, I quit Google a decade ago and tried to make a ChatGPT-lite LLM in my living room (turns out 2017 and GTX1080ti era was a shade too early). I knew that this technology was eventually going to revolutionize programming and mathematics and everything else. I am still flummoxed on a daily basis watching it transpire.
But also I am excited to be living through this new era of programming and new era of mathematics. I'm still saddened that I couldn't be the one to solve this old problem, but now I realize that my personal approaches were really solving a level of this problem even stronger than the original conjecture, and I'm energized to tackle those (in my free time between being a solo founder and father of 3, etc.).
Ironic, as I remember staying late at the Google office to watch that match live. I didn't really understand anything going on but I knew enough to be excited. What a decade.
And we’re only a bit more than halfway through this current one. Exciting/terrifying.
I just revisited this to make that exact comment.
I'm sympathetic to the mathematicians who are worried about the future of their field, but as an outsider I wonder if they couldn't learn from the go community's "recovery" after the introduction of an alien intelligence.
Look, I quit Google a decade ago and tried to make a ChatGPT-lite LLM in my living room (turns out 2017 and GTX1080ti era was a shade too early). I knew that this technology was eventually going to revolutionize programming and mathematics and everything else. I am still flummoxed on a daily basis watching it transpire.
But also I am excited to be living through this new era of programming and new era of mathematics. I'm still saddened that I couldn't be the one to solve this old problem, but now I realize that my personal approaches were really solving a level of this problem even stronger than the original conjecture, and I'm energized to tackle those (in my free time between being a solo founder and father of 3, etc.).
m37 refresher: https://www.youtube.com/watch?v=WQKQnyNQo_Y