But what if the fundaments of all these, in the human produced literature, actually contain hidden circularities and holes which make very hard the progress?

IMO for the moment the greatest value from these AI tools is that we can start an audit and hopefully proceed on a saner foundation, after we use the tools and think about it.

This is different than too many AI generated proofs or panic reactions from the academic system with its stupid incentives.