{"title":"机器时代的证明","authors":"Andrew Granville","doi":"10.1090/bull/1826","DOIUrl":null,"url":null,"abstract":"We are concerned here with the nature of proof and what proof will become in this age of machines. We do so by comparing the values associated with (traditional) community based proof verification to those associated with computer proof verification. We finish by proposing ways that computer proofs might incorporate successful strategies from human experiences.","PeriodicalId":2,"journal":{"name":"ACS Applied Bio Materials","volume":null,"pages":null},"PeriodicalIF":4.6000,"publicationDate":"2024-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Proof in the time of machines\",\"authors\":\"Andrew Granville\",\"doi\":\"10.1090/bull/1826\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We are concerned here with the nature of proof and what proof will become in this age of machines. We do so by comparing the values associated with (traditional) community based proof verification to those associated with computer proof verification. We finish by proposing ways that computer proofs might incorporate successful strategies from human experiences.\",\"PeriodicalId\":2,\"journal\":{\"name\":\"ACS Applied Bio Materials\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":4.6000,\"publicationDate\":\"2024-02-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACS Applied Bio Materials\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/bull/1826\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATERIALS SCIENCE, BIOMATERIALS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACS Applied Bio Materials","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/bull/1826","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATERIALS SCIENCE, BIOMATERIALS","Score":null,"Total":0}
We are concerned here with the nature of proof and what proof will become in this age of machines. We do so by comparing the values associated with (traditional) community based proof verification to those associated with computer proof verification. We finish by proposing ways that computer proofs might incorporate successful strategies from human experiences.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
