Think of the use of ML towards formal verification, a putative ML generated proof can be easily checked with a classical verification algorithm. What will happ

Think of the use of ML towards formal verification, a putative ML generated proof can be easily checked with a classical verification algorithm. What will happen is that we just translate more and more physics and engineering into a rigorous formal system, and then those deductions become verifiable. Actual measurements are another matter, and its not unimaginable petty humans will HAVE TO organize measurement tools (DMM, oscilloscope, ...) to cryptographically sign measurements, and to also sign schematic connectivity (yeah, so the oscilloscope or DMM probe terminals and the terminals of say an amplifier etc would be "smart" and sign the fact they are connected during the experimental setup. All to prevent people from faking measurements. BUT if this is done we can transport physics and engineering into the decentralized formally verifiable domain. After that biology for example could work, but formalizing ethics or (direct) democratically established rules and medicine at the same time will result in collective realization of certain inconsistencies (not unlike intervention vs non-intervention when watching lions hunt zebra's).