AI is already solving problems that mathematicians have worked on for decades: When will it learn logical reasoning? Interview with Perouz Taslakian