The situation could be even better if the proposition and proof could be written in a machine verifiable form using a proof assistant like Coq. Potentially you

The situation could be even better if the proposition and proof could be written in a machine verifiable form using a proof assistant like Coq. Potentially you could have a section in a maths journal which 'papers' (in the form of computer readable propositions and proofs) are immediately reviewed for correctness by a computer. Post-publication, humans may then assess the impact / significance by voting (perhaps with propositions from significant conjectures potentially configured to instantly go to the top of the significance rankings).