ASA Connect

 View Only

National Academies Virtual Workshop: AI to Assist Mathematical Reasoning

  • 1.  National Academies Virtual Workshop: AI to Assist Mathematical Reasoning

    Posted 05-25-2023 17:07

    VIRTUAL WORKSHOP


    AI to Assist Mathematical Reasoning

    How can new advances in artificial intelligence contribute to mathematical research? Please join the National Academies for a virtual workshop on June 12-14, 2023 to discuss the state of the art, current challenges, and opportunities for using AI for mathematical reasoning.

    During the workshop, speakers will explore the use of AI for mathematical discovery as well as for automated theorem proving. The event will bring together academic, industry, and government stakeholders to discuss emerging research opportunities and ways to collaborate among interdisciplinary research communities.

    REGISTER NOW

    The workshop agenda and other details about the event will be posted on the event page.



    ------------------------------
    Steve Pierson
    Director of Science Policy
    American Statistical Association
    ------------------------------