Comment by jboggan

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.).