AI to Assist Mathematical Reasoning: A Workshop

Webinar

Artificial Intelligence to Assist Mathematical Reasoning: Webinar on Machine Learning Approaches to Mathematical Discovery

April 25, 2024

1:00 PM - 2:00 PM (EDT)

Past

Discussion

This discussion information is being collected via Slido. Slido is not affiliated in any way with, or endorsed by, the National Academies of Sciences, Engineering, and Medicine, and your submission via the Slido website is subject to Slido’s privacy and terms of use.

About

With the rapid growth of machine learning (ML), mathematics research may advance in novel, unexpected ways by adopting ML tools for generating conjectures, developing proofs, and more. Join the National Academies for a webinar on ML approaches to mathematical discovery on Thursday, April 25, 2024 from 1-2pm ET. During the webinar, speakers Albert Jiang, University of Cambridge, and Christian Szegedy, xAI, will discuss current challenges and opportunities for the advancement of mathematics research using ML tools.

This webinar is a follow-on discussion from a National Academies’ workshop held last 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.

Contact

Sam Koretsky

SKoretsky@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Webinar

Artificial Intelligence to Assist Mathematical Reasoning: Webinar on the Future of Collaboration

April 24, 2024

1:00 PM - 2:00 PM (EDT)

Past

Discussion

This discussion information is being collected via Slido. Slido is not affiliated in any way with, or endorsed by, the National Academies of Sciences, Engineering, and Medicine, and your submission via the Slido website is subject to Slido’s privacy and terms of use.

About

Machine-assisted mathematical reasoning has drawn interest from various communities grounded in both mathematics and computer science. Collaboration between researchers from various backgrounds naturally lends promise for the advancement of the field, but also comes with unique challenges. Join the National Academies for a webinar on the future of collaboration on Wednesday, April 24, 2024 from 1-2pm ET. During this webinar, speakers Lior Horesh, IBM, and Ravi Vakil, Stanford University, will address how collaboration can work between researchers with backgrounds in mathematics, computer science, artificial intelligence, and more.

This webinar is a follow-on discussion from a National Academies’ workshop held last 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.

Contact

Sam Koretsky

SKoretsky@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Webinar

Artificial Intelligence to Assist Mathematical Reasoning: Webinar on Proof Assistants

April 23, 2024

1:00 PM - 2:00 PM (EDT)

Past

Discussion

This discussion information is being collected via Slido. Slido is not affiliated in any way with, or endorsed by, the National Academies of Sciences, Engineering, and Medicine, and your submission via the Slido website is subject to Slido’s privacy and terms of use.

About

Proof assistants, or interactive theorem provers, are tools that assist in the development of formal mathematical proofs. Join the National Academies for a webinar on proof assistants on Tuesday, April 23, 2024 from 1-2pm ET. During this webinar, speakers Adam Chlipala, Massachusetts Institute of Technology, and Timothy Gowers, Collège de France and University of Cambridge, will discuss challenges and opportunities in the design, use, and advancement of proof assistants.

This webinar is a follow-on discussion from a National Academies’ workshop held last 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.

Contact

Sam Koretsky

SKoretsky@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Artificial Intelligence to Assist Mathematical Reasoning: Webinar

September 26, 2023

3:00 PM - 4:00 PM (EDT)

Past

About

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 in the newly published workshop proceedings.

Contact

Sam Koretsky

SKoretsky@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Workshop

AI to Assist Mathematical Reasoning: A Workshop

June 12 - 14, 2023

Past

11:00 AM - 12:00 PM (EDT)

Past

About

The committee will meet for introductions, a conflict and bias discussion, and beginning workshop planning.

Contact

Sam Koretsky

(202) 334-3118
SKoretsky@nas.edu

Disclaimer

It is essential to the National Academies mission of providing evidence-based advice that participants in any of our meetings or events avoid political or partisan statements or commentary and maintain a culture of mutual respect. The statements and presentations during our meetings or events are solely those of the individual participants and do not necessarily represent the views of other participants or the National Academy of Sciences, which is a non-partisan, tax exempt organization that includes under its Charter the National Academy of Engineering and National Academy of Medicine, and that operates the National Research Council.

Log In

Sign in to access your saved publications, downloads, and email preferences.

Former MyNAP users: You'll need to reset your password on your first login to MyAcademies. Click "Forgot password" below to receive a reset link via email. Having trouble? Visit our FAQ page to contact support.

Members of the National Academy of Sciences, National Academy of Engineering, or National Academy of Medicine should log in through their respective Academy portals.

Email (required)
Password (required)

Don't have an account?

Register

Email (required)
New password (required)
Retype password (required) Password must be at least 8 characters
I accept the terms of use
terms of use

Thank You

Thank you for creating a MyAcademies account!

Enjoy free access to thousands of National Academies' publications, a 10% discount off every purchase, and build your personal library.

Forgot Password

Enter the email address for your MyAcademies (formerly MyNAP) account to receive password reset instructions.

Reset Requested

We sent password reset instructions to your email . Follow the link in that email to create a new password. Didn't receive it? Check your spam folder or contact us for assistance.

Reset Password

New password (required)
Retype password (required) Password must be at least 8 characters

Reset Password

Your password has been reset.

Log In

Verify email

Verify Your Email Address

We sent a verification link to your email. Please check your inbox (and spam folder) and follow the link to verify your email address. If you did not receive the email, you can request a new verification link below

Subscribe

First Name
Last Name
Email (required)
I agree to receive emails from the National Academies (required)

We respect your privacy and will never share your information.

My Academies

AI to Assist Mathematical Reasoning: A Workshop

Dropdown items

Artificial Intelligence to Assist Mathematical Reasoning: Webinar on Machine Learning Approaches to Mathematical Discovery

Artificial Intelligence to Assist Mathematical Reasoning: Webinar on the Future of Collaboration

Artificial Intelligence to Assist Mathematical Reasoning: Webinar on Proof Assistants

Artificial Intelligence to Assist Mathematical Reasoning: Webinar

AI to Assist Mathematical Reasoning: A Workshop

AI to Assist Mathematical Reasoning: A Workshop, Meeting on 9/15/2023

AI to Assist Mathematical Reasoning: A Workshop, Meeting on 6/6/2023

AI to Assist Mathematical Reasoning: A Workshop, Meeting on 5/31/23

AI to Assist Mathematical Reasoning: A Workshop, Meeting on 5/25/2023

AI to Assist Mathematical Reasoning: A Workshop, Meeting on 5/17/2023

AI to Assist Mathematical Reasoning: A Workshop, Meeting on 5/8/2023