I still remember Garry Kasparov vs. Deep Blue. Now, Magnus vs Stockfish is not even funny. I've seen AlphaGo and AlphaStar, and how their communities reacted...
I remember when Mathematica only could tell the answers and you had to type the formula correctly. Now there are apps that solve the exercise from a photograph with all the intermediate steps. We reminded the T.A. to be more alert during the midterms becuse we already had problems. I'm very worry about the magical glasses now, but it's important to be not overreact and be polite with the students.
Back to refactoring unintelligible long math proof: Let's talk again in 2031.
I remember when Mathematica only could tell the answers and you had to type the formula correctly. Now there are apps that solve the exercise from a photograph with all the intermediate steps. We reminded the T.A. to be more alert during the midterms becuse we already had problems. I'm very worry about the magical glasses now, but it's important to be not overreact and be polite with the students.
Back to refactoring unintelligible long math proof: Let's talk again in 2031.