4 ms·Mathematicians hope “proof assistants” will fix the field's replication crisis3 points by webmaven 5y ago