Reminds me of Lee Sedol's reflections after losing to Alpha Go.
"“I faced the issues of A.I. early, but it will happen for others,” Mr. Lee said recently at a community education fair in Seoul to a crowd of students and parents. “It may not be a happy ending.”
Mathematician reacts to OpenAI's recent proof: