Mathematicians love the certainty of proofs. This is how they verify that their intuition matches observable truth.

How will we know when artificial general intelligence is nearing? Scientific consensus by AI experts is the usual means.