Well I may be understanding you wrong (english is not my native language) but it seems like you and are defending that chatGPT xan be used to prove mathematical theorems if enough constraints are given in the