Sort:  

I don't think that AI can resolve fundamental aspects. Do you know for example ICO-Bench bot? Often his remark diverges from experts opinions. For today it is pretty easy to cheat AI, hopefully it will change in some future:)

I don't know, but AI really needs a firm theoretical foundation made of some axioms.