Course description
Artificial intelligence (AI) is rapidly transforming mathematics and science, from proving important theorems to predicting the structure of proteins. This course will examine the implications of this transformation, focusing on what it means for mathematical and scientific understanding, the way research communities award credit for new discoveries, and even the intellectual character of researchers. For example, how valuable is an AI-generated proof if no human mathematician can understand it? How should credit be awarded when AI contributes to a discovery? Could the use of AI help researchers become more curious, careful, and generous, or could it do the opposite? The course will draw on topics in philosophy of mathematics and science, as well as social, virtue and vice epistemology.