For this evidence, we will take a 1400 complexity problem from Codeforces known as "C. Theofanis' Nightmare" The problem is about Theofanis who easily gets obsessed with problems before going to sleep ...
In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...