|
|
WEBINAR AND NEW PUBLICATION
AI to Assist Mathematical Reasoning
|
|
|
|
Artificial intelligence (AI) has great potential to contribute to mathematical discovery, by guiding conjecture generation, assisting in formalizing mathematics, and more. How are AI technologies being used to advance the mathematical sciences, and how can interdisciplinary collaboration open up new opportunities?
Join the National Academies for a webinar on the use of AI to assist mathematical reasoning on Tuesday, September 26, 2023 from 3-4pm ET. During the webinar, speakers will discuss current challenges and opportunities for the field.
This webinar is a follow on discussion from a larger National Academies' workshop held earlier this summer. The workshop brought together academic, industry, and government stakeholders to discuss the state of the art, how to advance research in using AI for mathematical reasoning, and possible collaboration opportunities. This webinar will expand on key themes discussed during the workshop and newly published workshop proceedings.
|
|
|
|
Watch the event, download the agenda, and submit questions for speakers on the event page.
Download the new workshop proceedings here.
|
|
|
|
------------------------------
Steve Pierson
Director of Science Policy
American Statistical Association
------------------------------