I am not arguing that mathematicians would never use AI systems, they do. I am arguing that if we stop having mathematicians we would stop solving deep mathematical problems as there would be no one to ask the right questions.