Comment by JadeNB

> > A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field

> This is a crude distortion. The recent breakthroughs have come with proofs, reasoning and verification, and there is no proposal that I'm aware of that would do away with these foundations.

I believe that we are still at the point where these proofs serve as verifiable certificates of correctness, so that it's not a "trust me bro" situation, but where humans mostly still don't find them understandable, so that they are still just a highly reliable black box.