Emma
Summary:
-
The National Academies of Science, Engineering, and Mathematics are hosting a virtual workshop on AI to assist mathematical reasoning from June 12-14.
-
The event will focus on the current and projected technical capabilities of machine learning algorithms for mathematics.