I am confused why this is considered a black swan event. Does AI take the joy out of mathematics research? Yes. But universities are not laying off mathematicians just because OpenAI has released some proofs. The proofs were never the point of mathematics, it is the understanding behind the proofs, and applying that understanding to solve real world problems.

Now consider a computer science major in college who knows that he won't get a job when he graduates. Consider fresh graduates who thought they would have lucrative jobs but had to take up jobs as Uber drivers. To them AI is a black swan event. That's who I have sympathy for.