AI: reasoning and mathematics