I wonder how good chatGPT and AI in general are at boolean logic reduction? I know the recent versions of Vivado are advertised as ML edition because they integrate ML features but I don't know anyone involved in it's development so not sure of the extent of the application.