BTW, reading your last paragraph reminds me of how Lee Sedol felt after move 37.
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.
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.).