Artificial Intelligence to Assist Mathematical Reasoning Proceedings of a Workshop (2023) / Chapter Skim
Currently Skimming:
6 Roles for Stakeholders
6 Roles for Stakeholders
Pages 63-65
The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.
From page 63... ...
Noting that each organization has an existing framework for inter disciplinary work, Macbeth asked about specific examples of interdisciplinary collaboration. Weekes remarked that SIAM is affiliated with various organizations like the Computing Research Association, the American Automatic Control Council, the Association for C omputing Machinery, the American Statistical Association, the Mathematical Association of America, and AMS.
|
From page 64... ...
Carlsson remarked that mathematical reasoning includes several aspects beyond theorems and proofs, such as experimentation or the notion of idealized models, which may not be quantitatively exact but can reveal insights qualitatively. He encouraged mathematicians to take the initiative to be more involved with AI and indicated that their involvement could improve understanding and explainability of AI.
|
From page 65... ...
Hassett described how ICERM is hosting a conference1 in July that invites researchers to submit manuscripts, allowing for quick dissemination to a wide audience. He indicated that some areas of mathematics, especially those driven by data and algorithms, could move to new publication models by learning from computer science.
|
Key Terms
This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
More
information on Chapter Skim is available.