Piet Lammers said that mathematics had played an important role in his life, but that AI had recently solved almost all of the mathematical projects he was working on as a researcher. The development was presented as raising a broader question about how people can remain intellectually capable when they no longer need to rely on that same level of cleverness.