{"title":"关于自动化和数学研究的一些想法","authors":"Akshay Venkatesh","doi":"10.1090/bull/1834","DOIUrl":null,"url":null,"abstract":"I discuss how mathematicians come to a shared notion of what is important, and how automated reasoning might affect that process.","PeriodicalId":9513,"journal":{"name":"Bulletin of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":2.0000,"publicationDate":"2024-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Some thoughts on automation and mathematical research\",\"authors\":\"Akshay Venkatesh\",\"doi\":\"10.1090/bull/1834\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"I discuss how mathematicians come to a shared notion of what is important, and how automated reasoning might affect that process.\",\"PeriodicalId\":9513,\"journal\":{\"name\":\"Bulletin of the American Mathematical Society\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":2.0000,\"publicationDate\":\"2024-02-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the American Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/bull/1834\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the American Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/bull/1834","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
期刊介绍:
The Bulletin publishes expository articles on contemporary mathematical research, written in a way that gives insight to mathematicians who may not be experts in the particular topic. The Bulletin also publishes reviews of selected books in mathematics and short articles in the Mathematical Perspectives section, both by invitation only.