Mathematicians hope “proof assistants” will fix the field's replication crisismassivesci.com3 pointswebmaven5 years ago