Current mathematics is an untrustworthy flashlight. A claimed proof can be later found false, toppling all built on it. If we want illumination, we need better

Current mathematics is an untrustworthy flashlight. A claimed proof can be later found false, toppling all built on it. If we want illumination, we need better. The standard for proof acceptance should become formal verification. Mathematicians are simply no longer emough if your goal is certainty.